1885 search results - page 120 / 377 » Optimization of Component Connections for an Embedded Compon... |
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
In this paper I will address the problem of verifying that a service-oriented embedded system fulÀlls required safety guarantees. Services will be represented by collaborations a...
BIOWIRE
2007
Springer
15 years 4 months ago
2007
Springer
In this chapter, we present some of the biologically-inspired approaches, developed within the context of the European project BIONETS for enabling autonomic pervasive computing en...
RTCSA
2000
IEEE
15 years 2 months ago
2000
IEEE
Large-scale distributed real-time systems are increasingly difficult to analyze within the Rate Monotonic Analysis framework. This is due partly to their heterogeneity, complex i...
DATE
2000
IEEE
15 years 2 months ago
2000
IEEE
We present a novel method for developing reconfigurable systems targeted at embedded system applications. We show how an existing object oriented design method (MOOSE) has been ad...
ICDAR
2003
IEEE
15 years 3 months ago
2003
IEEE
Image warping is a common problem when one scans or photocopies a document page from a thick bound volume, resulting in shading and curved text lines in the spine area of the boun...