1704 search results - page 195 / 341 » Design of a Concurrent and Distributed Language |
122
click to vote
APLAS
2006
ACM
15 years 9 months ago
2006
ACM
We define and study a distributed cryptographic implementation for an asynchronous pi calculus. At the source level, we adapt simple type systems designed for establishing formal ...
112
Voted
ECBS
1997
IEEE
15 years 7 months ago
1997
IEEE
We present a new approach to an interactive design and analysis environment for visual languages. The main components, i.e., editor, animator, and interpreter, are introduced. The...
170
click to vote
SIGMOD
2012
ACM
13 years 6 months ago
2012
ACM
The advent of affordable, shared-nothing computing systems portends a new class of parallel database management systems (DBMS) for on-line transaction processing (OLTP) applicatio...
136
Voted
EUROSYS
2007
ACM
15 years 7 months ago
2007
ACM
Middleware simplifies the construction of distributed applications. These applications typically require continuous uptime. The maintenance of distributed applications, though, im...
122
Voted
WOSS
2004
ACM
15 years 9 months ago
2004
ACM
We propose a high-level approach to software architecture that bridges the gap between system requirements (in the problem space) and the architectural design (in the solution spa...