82 search results - page 13 / 17 » sigsoft 2010 |
138
click to vote
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
New technologies have recently emerged to challenge the very nature of computing: multicore processors, virtualized operating systems and networks, and data-center clouds. One can...
87
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
Executing critical systems often rely on humans to make important and sometimes life-critical decisions. As such systems become more complex, the potential for human error to lead...
91
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
We present a novel technique for synthesising behaviour models that works for an expressive subset of liveness properties and conforms to the foundational requirements engineering...
107
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
The presence of a functionally correct golden implementation has a significant advantage in the software development life cycle. Such a golden implementation is exploited for soft...
86
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
Software construction has typically drawn on engineering metaphors like building bridges or cathedrals, which emphasize architecture, specification, central planning, and determin...