2838 search results - page 546 / 568 » Verifying Controlled Components |
NETGAMES
2004
ACM
14 years 1 months ago
2004
ACM
Distributed multi-player games use dead reckoning vectors to intimate other (at a distance) participating players about the movement of any entity by a controlling player. The dea...
VRML
2004
ACM
14 years 1 months ago
2004
ACM
Increasingly, biology researchers and medical practitioners are using computational tools to model and analyze dynamic systems across scales from the macro to the cellular to the ...
PAM
2004
Springer
14 years 1 months ago
2004
Springer
Given that the global DNS system, especially at the higher root and top-levels, experiences significant query loads, we seek to answer the following questions: (1) How does the ch...
CODES
2003
IEEE
14 years 29 days ago
2003
IEEE
We describe our first efforts to develop a set of off-the-shelf hardware components that ordinary people could connect to build a simple but useful class of embedded systems. The ...
HICSS
2003
IEEE
14 years 29 days ago
2003
IEEE
Small ubiquitous devices connected by wireless networks will become future Internet appliances. To support them, communication networks must evolve to seamlessly assist appliances...