4460 search results - page 295 / 892 » Formal methods for interactive systems |
211
click to vote
ICWS
2007
IEEE
15 years 8 months ago
2007
IEEE
Security enforcement framework is an important aspect of any distributed system. With new requirements imposed by SOA-based business models, adaptive security enforcement on the a...
169
click to vote
UAIS
2002
15 years 6 months ago
2002
Integrating computer-based information into the real world of the user, is becoming a crucial challenge for the designers of interactive systems. The Augmented Reality (AR) paradig...
185
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
We have developed a hand gesture recognition system, based on the shape analysis of static gestures, for Human Computer Interaction purposes. Our appearance-based recognition uses...
164
click to vote
DSVIS
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents an approach for representing, and providing computer support for, the configuration of interactive systems, particularly ubiquitous systems, that offers a flexi...
173
click to vote
AFP
1995
Springer
15 years 10 months ago
1995
Springer
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...