140
Voted
SCOPES
2007
Springer
16 years 14 days ago
2007
Springer
137
Voted
SCOPES
2007
Springer
16 years 14 days ago
2007
Springer
153
Voted
SCOPES
2007
Springer
16 years 14 days ago
2007
Springer
163
Voted
QOSA
2007
Springer
16 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...
135
Voted
MONTEREY
2007
Springer
16 years 15 days ago
2007
Springer
176
Voted
MONTEREY
2007
Springer
16 years 15 days ago
2007
Springer
137
Voted
MONTEREY
2007
Springer
16 years 15 days ago
2007
Springer
142
Voted
MONTEREY
2007
Springer
16 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...
166
Voted
LCTRTS
2007
Springer
16 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...