1163 search results - page 228 / 233 » Case Studies of Model Checking for Embedded System Designs |
85
Voted
APN
2010
Springer
15 years 2 months ago
2010
Springer
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...
93
Voted
WWW
2006
ACM
15 years 10 months ago
2006
ACM
The mechanisms for personalisation used in web applications are currently the subject of much debate amongst researchers from many diverse subject areas. One of the most contempor...
CRYPTO
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. While there is a great deal of sophistication in modern cryptology, simple (and simplistic) explanations of cryptography remain useful and perhaps necessary. Many of the ...
PPOPP
2010
ACM
15 years 4 months ago
2010
ACM
To fully exploit multicore processors, applications are expected to provide a large degree of thread-level parallelism. While adequate for low core counts and their typical worklo...
96
Voted
ISVC
2009
Springer
15 years 4 months ago
2009
Springer
While realistic illumination significantly improves the visual quality and perception of rendered images, it is often very expensive to compute. In this paper, we propose a new al...