6303 search results - page 761 / 1261 » A Generated Management for Distributed Systems |
215
click to vote
CSFW
2009
IEEE
15 years 11 months ago
2009
IEEE
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
234
click to vote
CLOUDCOM
2009
Springer
16 years 1 months ago
2009
Springer
This keynote paper: (1) presents the 21st century vision of computing and identifies various IT paradigms promising to deliver computing as a utility; (2) defines the architecture ...
204
click to vote
SRDS
1999
IEEE
15 years 11 months ago
1999
IEEE
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...
166
click to vote
FODO
1989
Springer
15 years 11 months ago
1989
Springer
d Abstract) Michael Rabin Aiken Computation Laboratory Harvard University Cambridge, MA 02138 J. D. Tygar School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213...
197
click to vote
EXPCS
2007
15 years 11 months ago
2007
Experimental computer systems research typically ignores the end-user, modeling him, if at all, in overly simple ways. We argue that this (1) results in inadequate performance eva...