1885 search results - page 267 / 377 » Optimization of Component Connections for an Embedded Compon... |
146
click to vote
EDCC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a no...
153
click to vote
LCPC
2004
Springer
15 years 10 months ago
2004
Springer
Techniques to reduce power dissipation for embedded systems have recently come into sharp focus in the technology development. Among these techniques, dynamic voltage scaling (DVS)...
155
click to vote
EUROMICRO
2009
IEEE
15 years 8 months ago
2009
IEEE
Redundancy can improve the availability of components in service-oriented systems. However, predicting and quantifying the effects of different redundancy strategies can be a comp...
167
click to vote
IAT
2010
IEEE
15 years 2 months ago
2010
IEEE
It is crucial for embedded systems to adapt to the dynamics of open environments. This adaptation process becomes especially challenging in the context of multiagent systems. In t...
137
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
This chapter describes Aneka-Federation, a decentralized and distributed system that combines enterprise Clouds, overlay networking, and structured peer-to-peer techniques to crea...