Sciweavers

8648 search results - page 1344 / 1730
» Designing for Human-Agent Interaction
Sort
View
VRML
2003
ACM
16 years 1 days ago
MVIP-II: a protocol for enabling communication in collaborative virtual environments
This paper presents the second edition of our multicast protocol designed to enable shared v irtual worlds. This secon d release was u nderta ken to prov ide an interaction method...
John Robinson, Sarah J. Dumoulin, John A. Stewart
ICFEM
2003
Springer
16 years 6 hour ago
Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
Mickaël Kerboeuf, David Nowak, Jean-Pierre Ta...
EICS
2010
ACM
15 years 12 months ago
Using ensembles of decision trees to automate repetitive tasks in web applications
Web applications such as web-based email, spreadsheets and form filling applications have become ubiquitous. However, many of the tasks that users try to accomplish with such web ...
Zachary Bray, Per Ola Kristensson
RTAS
2002
IEEE
15 years 11 months ago
Achieving End-to-end Predictability in the TAO Real-time CORBA ORB
End-to-end predictability of operations is essential for many fixed-priority distributed real-time and embedded (DRE) applications, such as command and control systems, manufactu...
Irfan Pyarali, Douglas C. Schmidt, Ron Cytron
WMTE
2002
IEEE
15 years 11 months ago
Environmental Detectives: PDAs as a Window into a Virtual Simulated World
The use of computer simulations is changing the nature of scientific investigation and providing us unique insights into the way that the world works. As simulation moves from the...
Eric Klopfer, Kurt Squire, Henry Jenkins
« Prev « First page 1344 / 1730 Last » Next »