1888 search results - page 277 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
142
click to vote
ENTCS
2006
15 years 4 months ago
2006
Web services represent a challenge and an opportunity for organizations wishing to expose product and services offerings through the Internet. The Web service technology provides ...
180
click to vote
MABS
1998
Springer
15 years 9 months ago
1998
Springer
Multi-agent simulations aim at representing the dynamics of complex systems as resulting from multiple interactions between autonomous entities including their own perception of lo...
124
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
We study a deployment strategy for a group of vehicles that drift in an ambient flow field. Specifically, we address the case where the flow is always greater in magnitude than an ...
152
click to vote
DPD
2002
15 years 4 months ago
2002
The current standard in governing distributed transaction termination is the so-called Two-Phase Commit protocol (2PC). The first phase of 2PC is a voting phase, where the partici...
110
click to vote
SP
2002
IEEE
15 years 4 months ago
2002
IEEE
The Grid-based Virtual Laboratory AMsterdam (VLAM-G), provides a science portal for distributed analysis in applied scientific research. It offers scientists experiment control, d...