Sciweavers

2557 search results - page 188 / 512
» Goal-Based Modeling of Dynamically Adaptive System Requireme...
Sort
View
CAV
1997
Springer
202views Hardware» more  CAV 1997»
14 years 9 days ago
HYTECH: A Model Checker for Hybrid Systems
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
CGO
2006
IEEE
13 years 12 months ago
Profiling over Adaptive Ranges
Modern computer systems are called on to deal with billions of events every second, whether they are instructions executed, memory locations accessed, or packets forwarded. This p...
Shashidhar Mysore, Banit Agrawal, Timothy Sherwood...
HICSS
2008
IEEE
127views Biometrics» more  HICSS 2008»
13 years 8 months ago
A Dyadic Model of Interorganizational Systems (IOS) Adoption Maturity
Interorganizational Systems (IOS) adoption requires cooperation and collaboration between trading partners and, therefore, is reliant on the nature of their relationships. There h...
Mazen Ali, Sherah Kurnia, Robert B. Johnston
MOBILITY
2009
ACM
14 years 24 days ago
Context-sensitive authorization in interaction patterns
Main requirement of recent computing environments, like mobile and then ubiquitous computing, is to adapt applications to context. On the other hand, access control generally trus...
Vincent Hourdin, Jean-Yves Tigli, Stephane Lavirot...
CF
2006
ACM
13 years 12 months ago
Performance characteristics of an adaptive mesh refinement calculation on scalar and vector platforms
Adaptive mesh refinement (AMR) is a powerful technique that reduces the resources necessary to solve otherwise intractable problems in computational science. The AMR strategy solv...
Michael L. Welcome, Charles A. Rendleman, Leonid O...