3229 search results - page 151 / 646 » The Theory of Timed Automata |
174
click to vote
SERVICES
2008
15 years 8 months ago
2008
an abstract form of service composition where Web services are represented as nondeterministic communicating automata. Considering the case in which communication is done via chan...
148
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Cellular automata have been mainly studied for on very regular graphs carrying the cells (like lines or grids) and under synchronous dynamics (all cells update simultaneo...
153
click to vote
IJFCS
2008
15 years 6 months ago
2008
We consider the problem of synchronizing the activity of all the membranes of a P system. After pointing at the connection with a similar problem dealt with in the field of cellul...
168
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper gives an overview of results of the project "Beyond Timed Automata" carried out in the Collaborative Research Center AVACS (Automatic Verification and Analysi...
172
click to vote
ENTCS
2006
15 years 6 months ago
2006
Abstract. In this paper, we discuss the semantics of BPEL4WS language which is a de facto standard for specifying and execution workflow specification for web service composition a...