2870 search results - page 365 / 574 » Synchronization of multi-agent systems |
125
click to vote
ENTCS
2006
15 years 4 months ago
2006
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...
162
click to vote
JSS
2010
14 years 11 months ago
2010
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
149
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
This paper addresses questions regarding the decidability of hybrid automata that may be constructed hierarchically and in a modular way, as is the case in many exemplar systems, b...
132
click to vote
ICCD
1992
IEEE
15 years 8 months ago
1992
IEEE
Asynchronous or self-timed systems that do not rely on a global clock to keep system components synchronized can offer significant advantages over traditional clocked circuits in ...
139
click to vote
HPDC
1995
IEEE
15 years 8 months ago
1995
IEEE
New file systems are critical to obtain good I/O performance on large multiprocessors. Several researchers have suggested the use of collective file-system operations, in which ...