Sciweavers

1451 search results - page 186 / 291
» Order independence and rationalizability
Sort
View
ISQED
2007
IEEE
150views Hardware» more  ISQED 2007»
16 years 20 days ago
A Design Methodology for Matching Improvement in Bandgap References
Errors caused by tolerance variations and mismatches among components severely degrade the performance of integrated circuits. These random effects in process parameters significa...
Juan Pablo Martinez Brito, Hamilton Klimach, Sergi...
QSIC
2007
IEEE
16 years 19 days ago
Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...
Yan Sun, Bruce M. McMillin, Xiaoqing Frank Liu, Da...
AIME
2007
Springer
16 years 17 days ago
Categorical Representation of Evolving Structure of an Ontology for Clinical Fungus
With increasing popularity of using ontologies, many industrial and clinical applications have employed ontologies as their conceptual backbone. Ontologies try to capture knowledge...
Arash Shaban-Nejad, Volker Haarslev
CONCUR
2007
Springer
16 years 16 days ago
Timed Concurrent Game Structures
Abstract. We propose a new model for timed games, based on concurrent game structures (CGSs). Compared to the classical timed game automata of Asarin et al. [8], our timed CGSs are...
Thomas Brihaye, François Laroussinie, Nicol...
CONTEXT
2007
Springer
16 years 16 days ago
MDD Approach for the Development of Context-Aware Applications
Context-aware systems offer entirely new opportunities for application developers and for end users by gathering context information and adapting systems behavior accordingly. Sev...
Dhouha Ayed, Didier Delanote, Yolande Berbers