11 search results - page 2 / 3 » VizKid: A Behavior Capture and Visualization System of Adult... |
AMAST
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
DAWAK
2006
Springer
13 years 8 months ago
2006
Springer
Comprehensive data analysis has become indispensable in a variety of environments. Standard OLAP (On-Line Analytical Processing) systems, designed for satisfying the reporting need...
AGENTS
1997
Springer
13 years 9 months ago
1997
Springer
The coordination problem in multi-agent systems is the problem of managing dependencies between the activities of autonomous agents, in conditions of incomplete knowledge about th...
CHI
2008
ACM
14 years 5 months ago
2008
ACM
In this paper we present the Meeting Mediator (MM), a real-time, personal, and portable system providing feedback to enhance group collaboration. Social interactions are captured ...
SIGSOFT
2007
ACM
14 years 5 months ago
2007
ACM
Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an ...