Sciweavers

29143 search results - page 25 / 5829
» A Sortation System Model
Sort
View
ICEIS
2009
IEEE
14 years 2 months ago
Toward a Quality Model for CBSE - Conceptual Model Proposal
María A. Reyes, Maryoly Ortega, Marí...
HICSS
2003
IEEE
102views Biometrics» more  HICSS 2003»
14 years 29 days ago
Deferred Systems Software Model for Semantic Information Sharing in Context on the Web
This research reports on the deferred system software model to inform semantic and contextual information sharing in Web applications. Contextual information sharing requires soft...
Nandish V. Patel
ADAPTIVE
2007
Springer
14 years 1 months ago
Generic User Modeling Systems
The paper reviews the development of generic user modeling systems over the past twenty years. It describes their purposes, their services within user-adaptive systems, and the dif...
Alfred Kobsa
HYBRID
2003
Springer
14 years 26 days ago
Model Checking LTL over Controllable Linear Systems Is Decidable
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
Paulo Tabuada, George J. Pappas
KES
2004
Springer
14 years 1 months ago
A Process Algebra Model of the Immune System
Current models of the immune system have proven capable of reproducing the dynamics of the immune system response. However, they lack of formalisms (including semantics) to underst...
Raul Monroy