Sciweavers

1803 search results - page 127 / 361
» Architectural framework for supporting operating system surv...
Sort
View
VLDB
2007
ACM
110views Database» more  VLDB 2007»
16 years 15 days ago
GeRoMeSuite: A System for Holistic Generic Model Management
Manipulation of models and mappings is a common task in the design and development of information systems. Research in Model Management aims at supporting these tasks by providing...
David Kensche, Christoph Quix, Xiang Li 0002, Yong...
JLP
2006
126views more  JLP 2006»
15 years 6 months ago
Compositional modeling and refinement for hierarchical hybrid systems
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
EDOC
2006
IEEE
16 years 13 days ago
Workshop on ODP for Enterprise Computing (WODPEC 2006)
The RM-ODP standard still provides the only comprehensive and coherent framework of concepts for the specification of complex large scale IT systems, and has taken on a new signif...
João Paulo A. Almeida, Peter F. Linington, ...
MATES
2009
Springer
15 years 11 months ago
Framework for Dynamic Life Critical Situations Using Agents
In this paper, we present a framework incorporating a multi-agent system (MAS) that enables aid for international effect-based operation in emergency situations. The outcome is to ...
Jenny Lundberg, Anne Håkansson
HPCA
2008
IEEE
16 years 6 months ago
Supporting highly-decoupled thread-level redundancy for parallel programs
The continued scaling of device dimensions and the operating voltage reduces the critical charge and thus natural noise tolerance level of transistors. As a result, circuits can p...
M. Wasiur Rashid, Michael C. Huang