Sciweavers

2740 search results - page 122 / 548
» Typing the Specialization Interface
Sort
View
COOPIS
2004
IEEE
15 years 10 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...
FPLAY
2008
15 years 8 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
SWAP
2008
15 years 7 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 7 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...
ICWN
2004
15 years 7 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 ...