4356 search results - page 596 / 872 » Communicating Transactions - (Extended Abstract) |
193
click to vote
FIDJI
2003
Springer
15 years 12 months ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
153
click to vote
GD
2003
Springer
15 years 12 months ago
2003
Springer
In this paper we consider the problem of drawing and displaying a series of related graphs, i.e., graphs that share all, or parts of the same node set. We present three algorithms...
192
click to vote
HYBRID
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Networked embedded systems are composed of a large number of components that interact with the physical world via a set of sensors and actuators, have their own computati...
155
click to vote
ICALP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Consider a set of n > 2 simple autonomous mobile robots (decentralized, asynchronous, no common coordinate system, no identities, no central coordination, no direct co...
189
click to vote
ICICS
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Trust is hard to establish in a service-oriented grid architecture because of the need to support end user single sign-on and dynamic transient service. In order to enhan...