7557 search results - page 5 / 1512 » Modeling Timed Concurrent Systems |
106
click to vote
RTDB
2001
15 years 2 months ago
2001
Research in the concurrency control of real-time data access over mobile networks is receiving growing attention. With possibly lengthy transmission delay and frequent disconnecti...
119
click to vote
ICLP
2003
Springer
15 years 6 months ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
128
click to vote
EPIA
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. This paper describes jcc, an integration of the timed default concurrent constraint programming framework [16] (Timed Default cc) into JAVA [7]. jcc is intended for use i...
CONCUR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We propose a new model for timed games, based on concurrent game structures (CGSs). Compared to the classical timed game automata of Asarin et al. [8], our timed CGSs are...
105
click to vote
IICS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper we describe an assume/guarantee based execution constraints synthesis algorithm for concurrent threads executing on parallel platforms. Threads are loops wh...