Sciweavers

769 search results - page 61 / 154
» Minimizing system modification in an incremental design appr...
Sort
View
IPPS
2002
IEEE
14 years 26 days ago
Design and Implementation of a Pluggable Fault Tolerant CORBA Infrastructure
In this paper we present the design and implementation of a Pluggable Fault Tolerant CORBA Infrastructure that provides fault tolerance for CORBA applications by utilizing the plu...
Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith
EWSN
2007
Springer
13 years 12 months ago
Improving the Energy Efficiency of the MANTIS Kernel
Abstract. Event-driven operating systems such as TinyOS are the preferred choice for wireless sensor networks. Alternative designs following a classical multi-threaded approach are...
Cormac Duffy, Utz Roedig, John Herbert, Cormac J. ...
ISSS
2002
IEEE
125views Hardware» more  ISSS 2002»
14 years 26 days ago
Security-Driven Exploration of Cryptography in DSP Cores
With the popularity of wireless communication devices a new important dimension of embedded systems design has arisen, that of security. This paper presents for the first time des...
Catherine H. Gebotys
ATVA
2009
Springer
149views Hardware» more  ATVA 2009»
14 years 2 months ago
A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems
In this paper, we describe a decompositional approach to convergence proofs for stochastic hybrid systems given as probabilistic hybrid automata. We focus on a concept called “st...
Jens Oehlerking, Oliver E. Theel
ICAC
2009
IEEE
14 years 2 months ago
Model-driven architectural monitoring and adaptation for autonomic systems
Architectural monitoring and adaptation allows self-management capabilities of autonomic systems to realize more powerful adaptation steps, which observe and adjust not only param...
Thomas Vogel, Stefan Neumann, Stephan Hildebrandt,...