Sciweavers

16606 search results - page 254 / 3322
» Context Modeling: Task Model and Practice Model
Sort
View
HICSS
2002
IEEE
142views Biometrics» more  HICSS 2002»
15 years 9 months ago
Multi-perspective Enterprise Modeling (MEMO) - Conceptual Framework and Modeling Languages
For many companies, the strategic as well as the organizational fit of their information systems is a pivotal factor for staying competitive. At the same time, there is an increas...
Ulrich Frank
ICAS
2008
IEEE
274views Robotics» more  ICAS 2008»
15 years 11 months ago
Model-Driven Engineering of Multi-target Plastic User Interfaces
A Multi-target user interface is composed of a series of interconnected variations of the same user interfaces, but tailored for different targets or different contexts of use. Wh...
Benoît Collignon, Jean Vanderdonckt, Gaë...
ICFEM
2004
Springer
15 years 10 months ago
Formal Proof from UML Models
Abstract. We present a practical approach to a formal analysis of UMLbased models. This is achieved by an underlying formal representation in Z, which allows us to pose and dischar...
Nuno Amálio, Susan Stepney, Fiona Polack
STOC
2002
ACM
123views Algorithms» more  STOC 2002»
16 years 4 months ago
Optimal rate-based scheduling on multiprocessors
The PD2 Pfair/ERfair scheduling algorithm is the most efficient known algorithm for optimally scheduling periodic tasks on multiprocessors. In this paper, we prove that PD2 is als...
Anand Srinivasan, James H. Anderson
UIC
2007
Springer
15 years 10 months ago
Devising a Context Selection-Based Reasoning Engine for Context-Aware Ubiquitous Computing Middleware
We propose a novel reasoning engine for context-aware ubiquitous computing middleware in this paper. Our reasoning engine supports both rulebased reasoning and machine learning rea...
Donghai Guan, Weiwei Yuan, Seong Jin Cho, Andrey G...