512 search results - page 24 / 103 » Reasoning about Asynchronous Behaviour in Distributed System... |
176
click to vote
MBEES
2010
15 years 7 months ago
2010
: Integrating architectural elements with a modern programming language is essential to ensure a smooth combination of architectural design and programming. In this position statem...
183
click to vote
CAEPIA
2003
Springer
15 years 11 months ago
2003
Springer
The development of software systems is a complex task that requires support techniques to guide the process and solve inconsistencies in its . In the agent paradigm, the use of soc...
200
click to vote
ISKI
1994
15 years 10 months ago
1994
This paper aims at integrating techniques of non-monotonic reasoning about updates and of object-oriented specification of information systems. We present how to utilize defaults i...
159
click to vote
CONCUR
2003
Springer
15 years 11 months ago
2003
Springer
Patterns of Compositional Reasoning Nina Amla1 , E. Allen Emerson2 , Kedar Namjoshi3 , and Richard Trefler4 1 Cadence Design Systems 2 Univ. of Texas at Austin 3 Bell Labs, Lucent...
157
click to vote
ICTAC
2005
Springer
15 years 11 months ago
2005
Springer
It has recently been shown that fair exchange, a security problem in distributed systems, can be reduced to a fault tolerance problem, namely a special form of distributed consensu...