1023 search results - page 187 / 205 » Model Checking: Software and Beyond |
118
click to vote
ISSTA
2004
ACM
15 years 7 months ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
155
Voted
ECOOP
2010
Springer
15 years 4 months ago
2010
Springer
Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifica...
131
click to vote
ECSA
2010
Springer
15 years 1 months ago
2010
Springer
In the software domain, self-adaptive systems are able to modify their behavior at run-time to respond to changes in the environment they run, to changes of the users' require...
154
Voted
FMCAD
2006
Springer
15 years 5 months ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
106
click to vote
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
The use of web applications has become increasingly popular in our routine activities, such as reading the news, paying bills, and shopping on-line. As the availability of these s...