Sciweavers

7720 search results - page 420 / 1544
» A Model for Interface Groups
Sort
View
VRML
1997
ACM
15 years 11 months ago
Using VRML to Access Manufacturing Data
This paper describes the use of the Virtual Reality Modeling Language (VRML) in the VIM - Visual Interface to Manufacturing system. The VIM prototype demonstrates the technical fe...
Sandy Ressler, Qiming Wang, Scott Bodarky, Charles...
CSE
2009
IEEE
15 years 10 months ago
Optimization of Component Connections for an Embedded Component System
Software component techniques are widely used to enhance productivity and reduce the cost of software systems development. This paper proposes optimization of component connections...
Takuya Azumi, Hiroaki Takada, Hiroshi Oyama
PERCOM
2010
ACM
15 years 10 months ago
Pervasive maps: Explore and interact with pervasive environments
—Efficient discovery of nearby devices and services is one of the preconditions to obtain a usable pervasive environment. Typical user interfaces in these environments hide the ...
Geert Vanderhulst, Kris Luyten, Karin Coninx
FORTE
2003
15 years 8 months ago
Behavioural Contracts for a Sound Assembly of Components
Abstract. Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-...
Cyril Carrez, Alessandro Fantechi, Elie Najm
191
Voted
ADT
2005
15 years 6 months ago
Assembling components with behavioural contracts
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investig...
Cyril Carrez, Alessandro Fantechi, Elie Najm