Sciweavers

5180 search results - page 119 / 1036
» Concurrency, Time, and Constraints
Sort
View
ERLANG
2003
ACM
15 years 11 months ago
ARMISTICE: an experience developing management software with Erlang
In this paper, some experiences of using the concurrent functional language Erlang to implement a classical vertical application, a risk management information system, are present...
David Cabrero, Carlos Abalde, Carlos Varela, Laura...
CONCURRENCY
2004
91views more  CONCURRENCY 2004»
15 years 6 months ago
Middleware for real-time distributed simulations
Distributed simulation applications often rely on middleware to provide services to support their execution over distributed computing environments. Such middleware spans many lev...
Thom McLean, Richard M. Fujimoto, J. Brad Fitzgibb...
CONCURRENCY
2002
112views more  CONCURRENCY 2002»
15 years 6 months ago
The Virtual Service Grid: an architecture for delivering high-end network services
This paper presents the design of a novel system architecture, Virtual Service Grid (VSG), for delivering high performance network services. The VSG is based on the concept of the...
Jon B. Weissman, Byoung-Dai Lee
CP
1995
Springer
15 years 10 months ago
Asynchronous Weak-commitment Search for Solving Distributed Constraint Satisfaction Problems
A distributed constraint satisfaction problem (Distributed CSP) is a CSP in which variables and constraints are distributed among multiple automated agents, and various application...
Makoto Yokoo
COORDINATION
2006
Springer
15 years 10 months ago
Compositional Semantics of an Actor-Based Language Using Constraint Automata
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...
Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel ...