851 search results - page 82 / 171 » A View on Components |
174
Voted
ICEISSAM
2004
15 years 5 months ago
2004
Due to the different nature of the available dynamic interactions between components afforded by some middleware infrastructure, distributed information systems (DIS) behave differ...
139
Voted
EHCI
2001
15 years 5 months ago
2001
Systems combining the real and the virtual are becoming more and more prevalent. The Augmented Reality (AR) paradigm illustrates this trend. In comparison with traditional interact...
123
Voted
PDSE
1998
15 years 5 months ago
1998
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, com...
141
click to vote
PSTV
1993
15 years 5 months ago
1993
We present a new algorithm that can be used for solving the model−checking problem for linear−time temporal logic. This algorithm can be viewed as the combination of two exist...
116
click to vote
MVA
1992
15 years 5 months ago
1992
component of the reflection has been considered (2, This paper propose a hierarchical design method of camera and light-source positioning for model based vision. In this method, f...