4800 search results - page 74 / 960 » OO Distributed Programming is Not Distributed OO Programming |
105
click to vote
GI
2009
Springer
15 years 6 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 ...
103
click to vote
HPDC
1993
IEEE
15 years 6 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 ...
IPPS
1998
IEEE
15 years 6 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...
131
click to vote
DALT
2004
Springer
15 years 5 months ago
2004
Springer
Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that pr...
132
click to vote
EPIA
1997
Springer
15 years 6 months ago
1997
Springer
Argumentation semantics in extended logic programming has been defined in [5,12] for a single agent which determines its believes by an internal argumentation process. In this pap...