4604 search results - page 229 / 921 » Concurrency in Synchronous Systems |
186
click to vote
ICLP
2003
Springer
15 years 12 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...
183
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
In this paper, we address the problem of temporal synchronization of a team of mobile agents on a set of rendezvous points defined by the nodes of a bipartite network. In particula...
189
click to vote
ACSD
2008
IEEE
16 years 1 months ago
2008
IEEE
In recent years it has become clear that techniques developed for concurrent programming are in fact very useful for the analysis of complex systems in biology. To some level of i...
162
click to vote
IROS
2007
IEEE
16 years 29 days ago
2007
IEEE
— A functional approach to programming robot swarms brings with it well-defined properties that allow for automated concurrency and distributed execution. Further, the particula...
173
click to vote
ATVA
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. The emerging technology of interacting systems calls for new forto ensure their reliability. Concurrent games are paradigmatic abstract models for which several logics ha...