89 search results - page 5 / 18 » Connectivity and synchronization of Vicsek model |
ECBS
2006
IEEE
14 years 1 months ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
CDC
2008
IEEE
13 years 9 months ago
2008
IEEE
The paper investigates the synchronization of a network of identical linear state-space models under a possibly time-varying and directed interconnection structure. The main resul...
CSCW
2010
ACM
14 years 4 months ago
2010
ACM
Synchronous groupware depends on the assumption that people are fully connected to the others in the group, but there are many situations (network delay, network outage, or explic...
MIS
2001
Springer
13 years 12 months ago
2001
Springer
A multimedia report is a multimedia presentation which integrates data returned by one or more queries to a multimedia database, thus extending the concept of report familiar in tr...
FM
2009
Springer
14 years 2 days ago
2009
Springer
We study a clock synchronization protocol for the Chess WSN. First, we model the protocol as a network of timed automata and verify various instances using the Uppaal model checker...