621 search results - page 15 / 125 » Applying Prolog to Develop Distributed Systems |
IC3
2009
13 years 5 months ago
2009
Abstract. This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of dis...
ATC
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. Software agent technology has attracted much attention for developing various distributed systems, composed of autonomous agents interacting with one another using partic...
SAC
2006
ACM
14 years 1 months ago
2006
ACM
This paper describes the Resource Allocation and Control Engine (RACE) that integrates multiple resource management algorithms for (re)deploying and managing performance of applic...
ICCS
2004
Springer
14 years 1 months ago
2004
Springer
The DisCAS system employs and interacts with multiple ELIMINOs distributed over the Internet to achieve a distributed-parallel computing environment. ELIMINO is a computer algebra ...
ICCS
2007
Springer
14 years 1 months ago
2007
Springer
This paper describes a preliminary cyberinfrastructure for contaminant characterization in water distribution systems and its deployment on the grid. The cyberinfrastructure consis...