Sciweavers

19003 search results - page 91 / 3801
» We Need Assurance!
Sort
View
PERCOM
2008
ACM
14 years 7 months ago
Safety Enhancing Mechanisms for Pervasive Computing Systems in Intelligent Environments
Pervasive computing systems provide personalized and intimate services to improve users' quality of life by integrating computation and communication into the environments. Wi...
Hen-I Yang, Abdelsalam Helal
AIMS
2008
Springer
14 years 2 months ago
A Theory of Closure Operators
We explore how fixed-point operators can be designed to interact and be composed to form autonomic control mechanisms. We depart from the idea that an operator is idempotent only ...
Alva L. Couch, Marc Chiarini
DATE
2005
IEEE
100views Hardware» more  DATE 2005»
14 years 1 months ago
OS Debugging Method Using a Lightweight Virtual Machine Monitor
Demands for implementing original OSs that can achieve high I/O performance on PC/AT compatible hardware have recently been increasing, but conventional OS debugging environments ...
Tadashi Takeuchi
IWSOC
2003
IEEE
104views Hardware» more  IWSOC 2003»
14 years 1 months ago
IP Watermarking Techniques: Survey and Comparison
— Intellectual property (IP) block reuse is essential for facilitating the design process of System-on-a-Chip. Sharing IP blocks in such a competitive market poses significant h...
Amr T. Abdel-Hamid, Sofiène Tahar, El Mosta...
ECOOP
2010
Springer
14 years 21 days ago
Detecting Missing Method Calls in Object-Oriented Software
When using object-oriented frameworks it is easy to overlook certain important method calls that are required at particular places in code. In this paper, we provide a comprehensiv...
Martin Monperrus, Marcel Bruch, Mira Mezini