Sciweavers

1259 search results - page 136 / 252
» Use Cases, Actions, and Roles
Sort
View
ICDE
2001
IEEE
143views Database» more  ICDE 2001»
16 years 7 months ago
Exactly-once Semantics in a Replicated Messaging System
A distributed message delivery system can use replication to improve performance and availability. However, without safeguards, replicated messages may be delivered to a mobile de...
Yongqiang Huang, Hector Garcia-Molina
CAV
2009
Springer
119views Hardware» more  CAV 2009»
16 years 6 months ago
HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
Eric Goubault, Franck Védrine, Karim Tekkal...
EPIA
2009
Springer
16 years 27 days ago
Intention Recognition via Causal Bayes Networks Plus Plan Generation
Abstract. In this paper, we describe a novel approach to tackle intention recognition, by combining dynamically configurable and situation-sensitive Causal Bayes Networks plus pla...
Luís Moniz Pereira, Han The Anh
HICSS
2008
IEEE
147views Biometrics» more  HICSS 2008»
16 years 24 days ago
Exploring Barriers to Innovation Diffusion in Health Care Service Organizations: An Issue for Effective Integration of Service A
- This study explores the diffusion of innovations in health care service organizations. The importance of the diffusion arises from the direct effect of innovations on the quality...
Tugrul U. Daim, R. Tarcan Tarman, Nuri Basoglu
ICESS
2007
Springer
16 years 15 days ago
Situation-Aware Based Self-adaptive Architecture for Mission Critical Systems
Conventional mission-critical systems cannot prevent mission failure in dynamic battlefield environments in which the execution situations or missions change abruptly. To solve th...
Sangsoo Kim, Jiyong Park, Heeseo Chae, Hoh Peter I...