227 search results - page 9 / 46 » High-Level Views of Distributed Executions |
ICDE
2007
IEEE
14 years 9 months ago
2007
IEEE
Basic message processing tasks, such as wellformedness checking and grammar validation, can be off-loaded from the service providers' own infrastructures. To enable effective...
SIGSOFT
2009
ACM
14 years 8 months ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...
ADBIS
2007
Springer
14 years 2 months ago
2007
Springer
ODRA (Object Database for Rapid Application development) is an object-oriented application development environment currently being constructed at the Polish-Japanese Institute of I...
WOA
2003
13 years 9 months ago
2003
- Mobile agents are an emerging approach to develop distributed and parallel applications. They also can be used to develop enterprise applications, since they can act as active ne...
ICLP
2009
Springer
14 years 8 months ago
2009
Springer
We address how to write programs for distributed computing systems in which the network topology can change dynamically. Examples of such systems, which we call ensembles, include ...