SCOPES
2007
Springer
14 years 5 months ago
2007
Springer
SCOPES
2007
Springer
14 years 5 months ago
2007
Springer
SCOPES
2007
Springer
14 years 5 months ago
2007
Springer
SCOPES
2007
Springer
14 years 5 months ago
2007
Springer
QOSA
2007
Springer
14 years 5 months ago
2007
Springer
Component-based development helps to improve the modularity and reusability of embedded systems. Component models devised for embedded systems are typically restricted due to the l...
MONTEREY
2007
Springer
14 years 5 months ago
2007
Springer
MONTEREY
2007
Springer
14 years 5 months ago
2007
Springer
MONTEREY
2007
Springer
14 years 5 months ago
2007
Springer
MONTEREY
2007
Springer
14 years 5 months ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
LCTRTS
2007
Springer
14 years 5 months ago
2007
Springer
Energy efficiency is an important factor in embedded systems design. We consider an embedded system with a dynamic voltage scaling (DVS) capable processor and its system-wide pow...