857 search results - page 49 / 172 » Interactive Consistency in Quasi-Asynchronous Systems |
159
click to vote
RTSS
2003
IEEE
15 years 9 months ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
231
click to vote
ICDE
2006
IEEE
16 years 5 months ago
2006
IEEE
To use their pool of resources efficiently, distributed stream-processing systems push query operators to nodes within the network. Currently, these operators, ranging from simple...
164
click to vote
ICCV
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract. Visual detection and tracking of humans in complex scenes is a challenging problem with a wide range of applications, for example surveillance and human-computer interact...
151
click to vote
CIA
2004
Springer
15 years 9 months ago
2004
Springer
To realize large-scale socially embedded multiagent systems, this paper proposes a new system design methodology towards society-centered design. We have already developed the scen...
135
click to vote
ICAT
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a new type of wearable telepresence system that is applicable to the control of a humanoid robot. The system consists of self-contained computing hardware with...