Sciweavers

90 search results - page 2 / 18
» A Framework for Dependability Driven Software Integration
Sort
View
CASCON
2006
162views Education» more  CASCON 2006»
13 years 6 months ago
Integrating dynamic views using model driven development
Model Driven Development is helping software developers rapidly engineer today's most sophisticated business applications. Tool support, such as the Eclipse Modeling Framewor...
R. Ian Bull
ICSEA
2009
IEEE
13 years 3 months ago
Integrating Formal Methods with Model-Driven Engineering
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approa...
Angelo Gargantini, Elvinia Riccobene, Patrizia Sca...
ICRA
2005
IEEE
153views Robotics» more  ICRA 2005»
13 years 11 months ago
YARA: A Software Framework Enhancing Service Robot Dependability
— This paper focuses on the role of real-time operation support in mobile robot control architectures for service applications. We show that a control architecture with integrate...
Stefano Caselli, Francesco Monica, Monica Reggiani
ISCA
2006
IEEE
154views Hardware» more  ISCA 2006»
13 years 11 months ago
An Integrated Framework for Dependable and Revivable Architectures Using Multicore Processors
This paper presents a high-availability system architecture called INDRA — an INtegrated framework for Dependable and Revivable Architecture that enhances a multicore processor ...
Weidong Shi, Hsien-Hsin S. Lee, Laura Falk, Mrinmo...
IUI
1998
ACM
13 years 9 months ago
CyberDesk: A Framework for Providing Self-integrating Context-aware Services
Applications are often designed to take advantage of the potential for integration with each other via shared information. Current approaches for integration are limited, affectin...
Anind K. Dey, Gregory D. Abowd, Andrew Wood