11172 search results - page 256 / 2235 » Testing Physical Systems |
173
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
We present a formal model for stateful security protocols. This model is used to define ownership and ownership transfer as concepts as well as security properties. These definitio...
176
click to vote
MOBISYS
2005
ACM
16 years 6 months ago
2005
ACM
Realityflythrough is a telepresence/tele-reality system that works in the dynamic, uncalibrated environments typically associated with ubiquitous computing. By harnessing networke...
174
click to vote
COOPIS
1997
IEEE
15 years 10 months ago
1997
IEEE
If the number of users within a workjlow management system (WFMS) increases, a central workflow server (WFserver) and a single local area network (LAN) may become overloaded. The ...
194
click to vote
CEC
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, we present Creature Academy, a virtual laboratory that allows for the evolution of form and function within simulated physical 3D environments. Creature Academy can ...
178
click to vote
NETWORKING
2004
15 years 8 months ago
2004
Abstract. End System Multicasting (ESM) is fast becoming a feasible alternative to IP multicasting. ESM approaches can be broadly classified into two main categories: (i) Tree firs...