115 search results - page 6 / 23 » Ontology-based modularization of user interfaces |
JSS
2006
13 years 7 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
ICWE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In this paper we present an approach for oblivious composition of Web user interfaces, particularly for volatile functionality. Our approach, which is inspired on well-kn...
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents our aspect-oriented system specialized for debugging named Bugdel. Bugdel is a plug-in module for Eclipse, which is an integrated development environment. Unli...
CBMS
2006
IEEE
14 years 1 months ago
2006
IEEE
More and more ontologies are emerging across bioinformatics domains to represent and define domain knowledge, such as gene ontology, anatomy ontology and disease ontology. To inte...
CHI
2007
ACM
14 years 8 months ago
2007
ACM
Touch?Sensitive is a haptic apparel that allows massage therapy to be diffused, customized and controlled by people while on the move. It provides individuals with a sensory cocoo...