Sciweavers

649 search results - page 77 / 130
» Varying the user interaction within multi-agent systems
Sort
View
BELL
2000
107views more  BELL 2000»
14 years 11 months ago
Automating software feature verification
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
Gerard J. Holzmann, Margaret H. Smith
AVI
2004
15 years 1 months ago
Shrinking window operations for expanding display space
Recent research and technology advances indicate that multiple monitor systems are likely to become commonplace in the near future. An important property of such systems is that t...
Dugald Ralph Hutchings, John T. Stasko
OSDI
2008
ACM
16 years 5 days ago
Carnegie Mellon's CyDAT: Harnessing a Wide Array of Telemetry Data to Enhance Distributed System Diagnostics
The number and complexity of distributed applications has exploded, and to-date, each has had to create its own method for providing diagnostic tools and performance metrics. Thes...
Chas DiFatta, Mark Poepping, Daniel V. Klein
HT
2007
ACM
15 years 1 months ago
Experiments toward reverse linking on the web
Multi-headed reverse linking (incoming links) is a fundamental concept of Open Hypermedia Systems. However, this bi-directionality has been lost in the move to the World Wide Web ...
Yeliz Yesilada, Darren Lunn, Simon Harper
CHI
2000
ACM
15 years 4 months ago
The cubic mouse: a new device for three-dimensional input
We have developed a new input device that allows users to intuitively specify three-dimensional coordinates in graphics applications. The device consists of a cubeshaped box with ...
Bernd Fröhlich, John Plate