1678 search results - page 141 / 336 » An ASM Specification of C |
133
click to vote
ENTCS
2006
15 years 5 months ago
2006
Capability passing processes model global applications in a way that decouples the global agreement aspects of protocols from the details of how the communications are actually ma...
187
click to vote
JAIR
2008
15 years 5 months ago
2008
This paper presents the computational logic foundations of a model of agency called the KGP (Knowledge, Goals and Plan) model. This model allows the specification of heterogeneous...
119
click to vote
IJWBC
2006
15 years 5 months ago
2006
: The experiences with the new ICTP website, aiming to satisfy the need for a modern and appealing image, as well as provide tailored online information and services to its scienti...
181
click to vote
JAIR
2006
15 years 5 months ago
2006
In this paper, we show that there is a close relation between consistency in a constraint network and set intersection. A proof schema is provided as a generic way to obtain consi...
144
click to vote
JPDC
2008
15 years 5 months ago
2008
We investigate the problem of detecting termination of a distributed computation in systems where processes can fail by crashing. Specifically, when the communication topology is ...