461 search results - page 30 / 93 » Uniform Operators |
138
Voted
IJWGS
2007
15 years 2 months ago
2007
: Grid computing is becoming more and more attractive for providing a convenient uniform platform for coordinating highly distributed and heterogeneous resources and services. In t...
110
Voted
LICS
1996
IEEE
15 years 6 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
139
Voted
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to...
133
Voted
ICWE
2011
Springer
14 years 6 months ago
2011
Springer
Representational State Transfer (REST), as an architectural style for distributed hypermedia systems, enables scalable operation of the World Wide Web (WWW) and is the foundation f...
128
Voted
ICDCS
2007
IEEE
15 years 9 months ago
2007
IEEE
Record and Replay (RR) is a software based state replication solution designed to support recording and subsequent replay of the execution of unmodified applications running on mu...