Sciweavers

6474 search results - page 408 / 1295
» Towards a Systemic Approach to Autonomic Systems Engineering
Sort
View
MEMOCODE
2007
IEEE
16 years 1 months ago
Towards Equivalence Checking Between TLM and RTL Models
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...
Nicola Bombieri, Franco Fummi, Graziano Pravadelli...
ECSCW
2007
15 years 8 months ago
Behaviours and Preferences when Coordinating Mediated Interruptions: Social and System influence
Abstract. There is a growing interest in technologies for supporting individuals to manage their accessibility for interruptions. The applicability of these technologies is likely ...
Natalia A. Romero, Agnieszka Matysiak Szóst...
FTCS
1998
79views more  FTCS 1998»
15 years 8 months ago
Proving Correctness of a Controller Algorithm for the RAID Level 5 System
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing
ESWS
2009
Springer
16 years 1 months ago
Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences
Abstract. We propose a general method and novel algorithmic techniques to facilitate the integration of independently developed ontologies using mappings. Our method and techniques...
Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau,...
IROS
2008
IEEE
118views Robotics» more  IROS 2008»
16 years 1 months ago
Laban Movement Analysis for multi-ocular systems
Abstract— We present as a contribution to the field of humanmachine interaction a system that analyzes human movements online through multiple observers, based on the concept of...
Jörg Rett, Luis Santos, Jorge Dias