24421 search results - page 447 / 4885 » Communicating Complex Systems |
134
click to vote
VMCAI
2005
Springer
15 years 10 months ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
172
click to vote
GRAPHICSINTERFACE
1997
15 years 5 months ago
1997
This paper presents a system for rendering very large collections of randomly parameterized plants while generating manageable scene geometries for rendering. A given botanical de...
149
click to vote
IAT
2005
IEEE
15 years 10 months ago
2005
IEEE
We have proposed a real-time multi-target tracking system by cooperative behaviors of Active Vision Agents (AVAs), where an AVA is a logical model of a networkconnected computer w...
115
click to vote
INTERACT
2007
15 years 6 months ago
2007
: The goal of our project is to design and evaluate an awareness system that supports handling interruptions for both interruption actors: interruptees and interruptors.
138
click to vote
MOBISYS
2008
ACM
16 years 4 months ago
2008
ACM
Using 802.11 concurrently for communications and positioning is problematic, especially if location-based services (e.g., indoor navigation) are concurrently executed with real-ti...