Sciweavers

2381 search results - page 369 / 477
» On Ordering Descriptions in a Description Logic
Sort
View
ICAS
2008
IEEE
181views Robotics» more  ICAS 2008»
15 years 8 months ago
Modeling User Interfaces to Workflow Information Systems
This paper addresses the need for designing user interfaces (UIs) to workflow information systems by adopting a model-centric approach. We introduce a conceptual workflow model to...
Josefina Guerrero García, Jean Vanderdonckt...
ISCAS
2008
IEEE
112views Hardware» more  ISCAS 2008»
15 years 8 months ago
Glitch-aware output switching activity from word-level statistics
— This paper presents models for estimating the transition activity of signals at the output of adders in Field Programmable Gate Arrays (FPGAs), given only word-level measures o...
Jonathan A. Clarke, George A. Constantinides, Pete...
ECTEL
2007
Springer
15 years 8 months ago
Knowledge Repositories for Rural Communities of Learning
Knowledge Repositories can be a potential solution in order to cover agricultural professionals' lifelong learning needs. An application area of particular interest is the one...
Argiris Tzikopoulos
OTM
2007
Springer
15 years 7 months ago
A Semantic Framework for Priority-Based Service Matching in Pervasive Environments
The increasing popularity of personal wireless devices has raised new demands for the efficient discovery of heterogeneous devices and services in pervasive environments. The exis...
Ayomi Bandara, Terry R. Payne, David De Roure, Tim...
FATES
2005
Springer
15 years 7 months ago
Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach
The global testing problem studied in this paper is to seek a definite answer to whether a system of concurrent black-boxes has an observable behavior in a given finite (but cou...
Gaoyan Xie, Zhe Dang