Results 211 to 220 of about 49,797 (259)
Some of the next articles are maybe not open access.
Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, 2009
Parallel changes are becoming increasingly prevalent in the development of large scale software system. To further study the relationship between parallel changes and faults, we have designed and implemented a semantic conflict analyzer (SCA) to detect semantic interference between parallel changes.
Alexander K. C. Leung +150 more
+4 more sources
Parallel changes are becoming increasingly prevalent in the development of large scale software system. To further study the relationship between parallel changes and faults, we have designed and implemented a semantic conflict analyzer (SCA) to detect semantic interference between parallel changes.
Alexander K. C. Leung +150 more
+4 more sources
2022
The majority of heart disease-related deaths are caused by sudden cardiac death. It is most common in adults between the ages of 35 and 45. Every day, one thousand people are estimated to be involved in emergencies. The number of ongoing challenges and causes of death in the United States remains unchanged.
openaire +1 more source
The majority of heart disease-related deaths are caused by sudden cardiac death. It is most common in adults between the ages of 35 and 45. Every day, one thousand people are estimated to be involved in emergencies. The number of ongoing challenges and causes of death in the United States remains unchanged.
openaire +1 more source
2017 20th Conference of Open Innovations Association (FRUCT), 2017
Recent time the mobile phones became the main device for the modern society members. Of course, it means that they also became the main target of the attackers. Our team is working on the issue of the mobile security regarding the side-channel attacks. We have faced with a number of challenges which the attacker has to overcome to obtain the sensitive ...
Alla Levina +2 more
openaire +1 more source
Recent time the mobile phones became the main device for the modern society members. Of course, it means that they also became the main target of the attackers. Our team is working on the issue of the mobile security regarding the side-channel attacks. We have faced with a number of challenges which the attacker has to overcome to obtain the sensitive ...
Alla Levina +2 more
openaire +1 more source
A frequency leakage model for SCA
2014 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST), 2014This paper introduces a leakage model in the frequency domain to enhance the efficiency of Side Channel Attacks of CMOS circuits. While usual techniques are focused on noise removal around clock harmonics, we show that the actual leakage is not necessary located in those expected bandwidths as experimentally observed by E. Mateos and C.H.
Tiran, Sébastien +4 more
openaire +2 more sources
Neuroscience Letters, 2005
The spinocerebellar ataxias (SCAs) are progressive neurodegenerative disorders linked to more than 20 genetic loci. Most often, these diseases are caused by expansion of triplet repeats encoding polyglutamine (polyQ) tracts. The phenotype is variable and can cause a disease that overlaps clinically with Parkinson's disease (PD).
Simon-Sanchez, Javier +11 more
openaire +5 more sources
The spinocerebellar ataxias (SCAs) are progressive neurodegenerative disorders linked to more than 20 genetic loci. Most often, these diseases are caused by expansion of triplet repeats encoding polyglutamine (polyQ) tracts. The phenotype is variable and can cause a disease that overlaps clinically with Parkinson's disease (PD).
Simon-Sanchez, Javier +11 more
openaire +5 more sources
InnovAiT: Education and inspiration for general practice, 2023
Kunal Chawathey, Anish Kotecha
+4 more sources
Kunal Chawathey, Anish Kotecha
+4 more sources
InnovAiT: Education and inspiration for general practice
Dr Anish Kotecha, Dr Kunal Chawathey
+7 more sources
Dr Anish Kotecha, Dr Kunal Chawathey
+7 more sources
Time Ordering Architecture in SCA
2009In this work we extend SCA models with timing restrictions to capture the behavior of systems where time determines the correctness of the implementation. Furthermore, we establish a translation from this extended model in the timed automata formal model. In this case, we have considered the timed automata formalism supported by the UPPAAL tool, due to
Enrique Martínez +4 more
openaire +1 more source