5790 search results - page 69 / 1158 » Distributed programming with distributed authorization |
152
click to vote
GI
2009
Springer
15 years 10 months ago
2009
Springer
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
145
click to vote
HPDC
1993
IEEE
15 years 10 months ago
1993
IEEE
Building the hardware for a high-performance distributed computer system is a lot easier than building its software. In this paper we describe a model for programtributed systems ...
158
click to vote
EUROSYS
2007
ACM
16 years 3 months ago
2007
ACM
Dryad is a general-purpose distributed execution engine for coarse-grain data-parallel applications. A Dryad application combines computational “vertices” with communication ...
144
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
Existing approaches to debugging distributed systems involve a cycle of passive observation followed by computation replaying. We propose predicate control as an active approach t...
152
click to vote
AINA
2009
IEEE
16 years 1 months ago
2009
IEEE
— Reprogramming node software over-the-air is an essential requirement in many wireless sensor network applications due to the inaccessibility of the deployed sensor nodes. Trans...