3256 search results - page 308 / 652 » Applications of Formal Methods to System Design and Verifica... |
168
click to vote
FORMATS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract In this paper we focus on property-preserving preorders between timed game automata and their application to control of partially observable systems. We define timed weak ...
194
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
New portable consumer embedded devices must execute multimedia applications (e.g., 3D games, video players and signal processing software, etc.) that demand extensive memory acces...
159
click to vote
TCAD
2002
15 years 6 months ago
2002
Abstract--Composite microsystems that integrate mechanical and fluidic components with electronics are emerging as the next generation of system-on-a-chip. Custom microsystems are ...
153
click to vote
SERA
2005
Springer
16 years 3 days ago
2005
Springer
In recent years, embedded systems have become so complex and the development time to market is required to be shorter than before. As embedded systems include more functions for n...
178
click to vote
ACNS
2008
Springer
16 years 1 months ago
2008
Springer
Compliance storage is an increasingly important area for businesses faced with a myriad of new document retention regulations. Today, businesses have turned to Write-One Read Many ...