1459 search results - page 212 / 292 » Tool Supported Development of Service-Based Systems |
ASWEC
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper presents the framework of a scale-oriented scheme for the presentation and classification of reverse engineered sections of procedural code into objects. The aim is to ...
VR
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper describes how a physical simulation can be integrated with our Responsive Workbench system to support complex assembly tasks involving multiple hands and users. Our sys...
GRAPHICSINTERFACE
2004
13 years 10 months ago
2004
We present a system for creating interactive exploded view diagrams using 2D images as input. This imagebased approach enables us to directly support arbitrary rendering styles, e...
CHI
2006
ACM
14 years 9 months ago
2006
ACM
Families must continually organize, plan, and stay aware of the activities of their households in order to coordinate everyday life. Despite having organization schemes, many peop...
ACSD
2008
IEEE
14 years 3 months ago
2008
IEEE
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...