80 search results - page 7 / 16 » Scalable Distributed Garbage Collection for Systems of Activ... |
TAP
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
FM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
EUC
2005
Springer
14 years 28 days ago
2005
Springer
This paper presents a distributed middleware architecture based on a service-oriented approach, to manage high volume sensor events. Event management takes a multi-step operation f...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
This paper describes the specification, design and development of ACTIVE, a testbed for the testing and simulation of large-scale agent-based systems. ACTIVE is being developed as...
VIEWS
1996
13 years 8 months ago
1996
A data warehouse collects and integrates data from multiple, autonomous, heterogeneous, sources. The warehouse e ectively maintains one or more materialized views over the source ...