10182 search results - page 1509 / 2037 » Case Studies |
283
click to vote
SIES
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...
206
Voted
SIGSOFT
2010
ACM
15 years 5 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...
232
click to vote
TACAS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
227
click to vote
TGC
2010
Springer
15 years 5 months ago
2010
Springer
Car sharing and car pooling have proven to be an effective solution to reduce the amount of running vehicles by increasing the number of passengers per car amongst medium/big commu...
193
Voted
UIST
2010
ACM
15 years 5 months ago
2010
ACM
Mechanical Turk provides an on-demand source of human computation. This provides a tremendous opportunity to explore algorithms which incorporate human computation as a function c...