SCOPES
2007
Springer
14 years 14 days ago
2007
Springer
SCOPES
2007
Springer
14 years 14 days ago
2007
Springer
SCOPES
2007
Springer
14 years 14 days ago
2007
Springer
SCOPES
2007
Springer
14 years 14 days ago
2007
Springer
QOSA
2007
Springer
14 years 14 days 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 15 days ago
2007
Springer
MONTEREY
2007
Springer
14 years 15 days ago
2007
Springer
MONTEREY
2007
Springer
14 years 15 days ago
2007
Springer
MONTEREY
2007
Springer
14 years 15 days 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 15 days 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...