1699 search results - page 144 / 340 » A timed semantics of Orc |
176
click to vote
CP
2001
Springer
15 years 10 months ago
2001
Springer
Abstract The tcc model is a formalism for reactive concurrent constraint programming. In this paper we propose a model of temporal concurrent constraint programming which adds to t...
157
click to vote
ICDE
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we propose a simple and flexible execution model that (i) supports a wide spectrum of alternative optimization and execution strategies and their mixtures, (ii) pro...
205
click to vote
ALGOSENSORS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. This paper presents a simple distributed algorithm to determine the bridges, articulation points, and 2-connected components in asynchronous networks with an at least onc...
208
click to vote
ROOM
2000
15 years 7 months ago
2000
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
142
click to vote
COMCOM
2000
15 years 6 months ago
2000
This paper is devoted to the presentation of the RT-LOTOS formal description technique, which is a formalism suited for applications where concurrency, complex synchronization pat...