2501 search results - page 375 / 501 » Logics with Rank Operators |
158
click to vote
APN
2010
Springer
15 years 9 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...
149
Voted
ECOOPW
1997
Springer
15 years 8 months ago
1997
Springer
The traditional workflow process model is typically illustrated with a graph of activities, tasks, deliverables and techniques. From an object-oriented perspective, every identifi...
145
click to vote
OSDI
1994
ACM
15 years 5 months ago
1994
ACM
The energy usage of computer systems is becoming more important, especially for battery operated systems. Displays, disks, and cpus, in that order, use the most energy. Reducing t...
163
Voted
DEBU
2010
15 years 2 months ago
2010
Solid-state disks are currently based on NAND flash and expose a standard disk interface. To accommodate limitations of the medium, solid-state disk implementations avoid rewritin...
148
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...