4460 search results - page 400 / 892 » Formal methods for interactive systems |
176
click to vote
APSEC
2005
IEEE
16 years 13 days ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
182
click to vote
HAPTICS
2005
IEEE
16 years 12 days ago
2005
IEEE
In this paper, a new approach for navigation assistance through sets of volumetric data is presented. This innovative method uses force feedback in two dimensions to guide the use...
198
click to vote
CA
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, we present an integrated system for skin deformation that is able to handle deformations due to both the skeleton animation and collisions. This method is based on ...
185
click to vote
ICEXSS
2010
15 years 1 months ago
2010
The promise of service orientation is that it enables an organization to prosper by delivering continuous value to customers. This prosperity is of strategic value to the organizat...
161
click to vote
PERVASIVE
2005
Springer
16 years 9 days ago
2005
Springer
Physical browsing is a mobile-device-based interaction method for pervasive computing. In this paper, we describe our research interests and experiences of physical browsing: the ...