Sciweavers

4946 search results - page 687 / 990
» Interacting with Large Displays
Sort
View
UML
2005
Springer
16 years 8 days ago
Enhancement of Development Technologies for Agent-Based Software Engineering
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...
Andre Karpistsenko
SAINT
2002
IEEE
15 years 11 months ago
Service Emergence based on Relationship among Self-Organizing Entities
In this paper, we describe the Jack-in-the-Net (Ja-Net) architecture for adaptive services in a large scale, open network environment. Using biologically inspired concepts, Ja-Net...
Tomoko Itao, Tetsuya Nakamura, Masato Matsuo, Tats...
SI3D
1997
ACM
15 years 11 months ago
Two-Handed Direct Manipulation on the Responsive Workbench
We have built a system that allows users to naturally manipulate virtual 3D models with both hands on the Responsive Workbench, a tabletop VR device. Our design is largely based u...
Lawrence D. Cutler, Bernd Fröhlich, Pat Hanra...
TACAS
2000
Springer
149views Algorithms» more  TACAS 2000»
15 years 10 months ago
Proof General: A Generic Tool for Proof Development
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
David Aspinall
VRML
1995
ACM
15 years 10 months ago
Internetwork Infrastructure Requirements for Virtual Environments
Virtual environments (VEs) are a broad multidisciplinary research area that includes all aspects of computer science, virtual reality, virtual worlds, teleoperation and telepresenc...
Donald P. Brutzman, Michael R. Macedonia, Michael ...