Sciweavers

6607 search results - page 894 / 1322
» Making TeX Work
Sort
View
ATAL
2000
Springer
15 years 11 months ago
Task Coordination Paradigms for Information Agents
In agent systems, different (autonomous) agents collaborate to execute complex tasks. Each agent provides a set of useful capabilities, and the agent system combines these capabili...
Marian H. Nodine, Damith Chandrasekara, Amy Unruh
CAISE
2000
Springer
15 years 11 months ago
An Overview of RoZ: A Tool for Integrating UML and Z Specifications
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud
ICFP
1999
ACM
15 years 11 months ago
Type Inference Builds a Short Cut to Deforestation
Deforestation optimises a functional program by transforming it into another one that does not create certain intermediate data structures. Short cut deforestation is a deforestat...
Olaf Chitil
161
Voted
SI3D
1999
ACM
15 years 11 months ago
Voodoo dolls: seamless interaction at multiple scales in virtual environments
The Voodoo Dolls technique is a two-handed interaction technique for manipulating objects at a distance in immersive virtual environments. This technique addresses some limitation...
Jeffrey S. Pierce, Brian C. Stearns, Randy F. Paus...
SIGMETRICS
1999
ACM
120views Hardware» more  SIGMETRICS 1999»
15 years 11 months ago
A Performance Study of Dynamic Replication Techniques in Continuous Media Servers
Multimedia applications are emerging in education, information dissemination, entertainment, as well as many other applications. The stringent requirements of such applications ma...
Cheng-Fu Chou, Leana Golubchik, John C. S. Lui