9581 search results - page 1589 / 1917 » On Ubiquitous Integrated Computing |
183
click to vote
ICSOC
2004
Springer
16 years 5 days ago
2004
Springer
Service-based approaches are widely used to integrate heterogenous systems. Web services allow for the definition of highly dynamic systems where components (services) can be dis...
182
click to vote
ICTAC
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...
187
click to vote
ISER
2004
Springer
16 years 5 days ago
2004
Springer
In this paper we present a macroscopic model for the analysis of homogeneous task-directed multi-robot systems (MRS). The model is used to compute the probability that a given MRS ...
147
click to vote
ISOLA
2004
Springer
16 years 5 days ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
176
click to vote
ISPA
2004
Springer
16 years 5 days ago
2004
Springer
Peer-to-Peer (P2P) file sharing is the hottest, fastest growing application on the Internet. When designing Gnutella-like applications, the most important consideration is the sca...