1261 search results - page 73 / 253 » Extending the Capabilities of Component Models for Embedded ... |
DAIS
2009
13 years 10 months ago
2009
Abstract. Our work focuses on distributed software services and their requirements in terms of system performance and dependability. We target the problem of finding optimal deploy...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic...
EMSOFT
2001
Springer
14 years 1 months ago
2001
Springer
This paper is meant to motivate tools and methods research in the field of model-based embedded software development. In particular, we include usage scenarios to describe how an a...
IPSN
2005
Springer
14 years 2 months ago
2005
Springer
Abstract—This paper presents a sensor-based, networked embedded system, referred to as the Particle computer system. It is comprised of tiny wireless sensor nodes, capable of com...
IJFCS
2007
13 years 9 months ago
2007
In this technical report, we present a process algebra aimed at modelling PKI-based systems. The new language, SPIKY, extends the spi-calculus by adding primitives for the retriev...