10159 search results - page 1661 / 2032 » System Design Validation Using Formal Models |
167
click to vote
WORDS
2003
IEEE
16 years 2 days ago
2003
IEEE
The ’Distributed Control Lab’ [6] at Hasso-PlattnerInstitute, University of Potsdam allows experimentation with a variety of physical equipment via the web (intra and internet...
213
click to vote
JUCS
2011
14 years 9 months ago
2011
: Visualization of search results is an essential step in the textual Information Retrieval (IR) process. Indeed, Information Retrieval Interfaces (IRIs) are used as a link between...
155
click to vote
APLAS
2009
ACM
16 years 1 months ago
2009
ACM
Separation Algebras serve as models of Separation Logics; Share Accounting allows reasoning about concurrent-read/exclusive-write resources in Separation Logic. In designing a Conc...
176
click to vote
SMI
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a new interaction system designed for hands-on 3D shape modeling and deformation through natural hand gestures. Our system is made of a Phantom haptic device c...
184
click to vote
EEMMAS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Collaborative Ubiquitous Environments (CUEs) are environments supporting collaboration among persons in a ubiquitous computing setting. This paper shows how results of th...