3602 search results - page 100 / 721 » Isn't It About Time |
MUE
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper proposes an autonomous decentralized synchronization system for Inter-Vehicle Communication Network (IVCN). We have to consider the future of IVCN: “time variant” a...
ROBOCOMM
2007
IEEE
14 years 3 months ago
2007
IEEE
—Coalescence is the problem of isolated mobile robots independently searching for peers with the goal of forming a single connected network. This paper analyzes coalescence time ...
SSS
2007
Springer
14 years 3 months ago
2007
Springer
We present formal definitions of stabilization for the Timed I/O Automata (TIOA) framework, and of emulation for the timed Virtual Stationary Automata programming abstraction laye...
ICMCS
2006
IEEE
14 years 3 months ago
2006
IEEE
In the recent years, consumer devices that can record broadcast video have become prevalent. Such devices rely on the program guide information about a program’s start time and ...
ECAI
2004
Springer
14 years 2 months ago
2004
Springer
Since our world is populated by entities that persist through time and that change over time it is important to represent knowledge about those entities in a formal manner. In this...