13397 search results - page 282 / 2680 » From Static Distributed Systems to Dynamic Systems |
136
click to vote
NIPS
2008
15 years 5 months ago
2008
A visual attention system should respond placidly when common stimuli are presented, while at the same time keep alert to anomalous visual inputs. In this paper, a dynamic visual ...
113
click to vote
FM
2001
Springer
15 years 8 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking many distributed systems. Timestamps are often ...
161
click to vote
FMCO
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
224
click to vote
ICDE
1999
IEEE
16 years 5 months ago
1999
IEEE
InfoSleuth1is an agent-based system for information discovery and retrieval in a dynamic, open environment. This paper discusses InfoSleuth's multibroker design and implement...
139
click to vote
CCGRID
2009
IEEE
15 years 9 months ago
2009
IEEE
Virtual Organization Clusters are systems comprised of virtual machines that provide dedicated computing clusters for each individual Virtual Organization. The design of these clu...