Sciweavers

2740 search results - page 122 / 548
» Typing the Specialization Interface
Sort
View
84
Voted
COOPIS
2004
IEEE
15 years 4 months ago
Checking Asynchronously Communicating Components Using Symbolic Transition Systems
Abstract. Explicit behavioural interface description languages (BIDLs, protocols) are now recognized as a mandatory feature of component languages in order to address component reu...
Olivier Maréchal, Pascal Poizat, Jean-Claud...
79
Voted
FPLAY
2008
15 years 2 months ago
Experience in the design and development of a game based on head-tracking input
Tracking technologies, such as eye and head-tracking, provide novel techniques for interacting with video games. For instance, players can shoot with their eyes in a first person ...
Jeffrey Yim, Eric Qiu, T. C. Nicholas Graham
84
Voted
SWAP
2008
15 years 2 months ago
Ontology-based Editor for Metadata Documents
Editing metadata for documents in a large collection is a long and menial task. Many metadata schemas exist, among which, of course, Dublin Core, and they are usually only partiall...
Silvia Duca, Fabio Vitali
AVI
2004
15 years 2 months ago
View size and pointing difficulty in multi-scale navigation
Using a new taxonomy of pointing tasks which includes view pointing beside traditional cursor pointing, we introduce the concept of multi-scale pointing. Analyzing the impact of v...
Yves Guiard, Michel Beaudouin-Lafon, Julien Bastin...
113
Voted
ICWN
2004
15 years 2 months ago
An Embedded Healthcare System for Blood Glucose Monitoring in a Body Area Network
This paper presents a Java service platform and hardware design for a handheld healthcare system that enables remote health monitoring using CDMA public wireless networks. Special...
Kil-Ho Ahn, Jae-Wan Park, Dong Ryeol Shin, Ji-Tae ...