2637 search results - page 217 / 528 » Tool Supported Specification and Simulation of Distributed S... |
162
click to vote
CONCUR
2006
Springer
15 years 9 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...
184
click to vote
EUROPAR
2004
Springer
15 years 11 months ago
2004
Springer
The interesting properties of P2P systems (high availability despite peer volatility, support for heterogeneous architectures, high scalability, etc.) make them attractive for dist...
179
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
Adaptive web sites are sites that automatically improve their internal organization and/or presentation by observing userbrowsing behavior. In this paper we argue that adaptive be...
168
click to vote
TEI
2010
ACM
16 years 28 days ago
2010
ACM
Distributed physical user interfaces comprise networked sensors, actuators and other devices attached to a variety of computers in different locations. Developing such systems is ...
165
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...