3256 search results - page 376 / 652 » Applications of Formal Methods to System Design and Verifica... |
181
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
We present mechanisms, architectures, and an implementation addressing challenges with mobile opportunistic commerce centering on markets and mechanisms that support the procureme...
176
click to vote
DAGSTUHL
2003
15 years 8 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
189
click to vote
ASPDAC
2009
ACM
16 years 1 months ago
2009
ACM
Three-dimensional stacking of silicon layers is emerging as a promising solution to handle the design complexity and heterogeneity of Systems on Chips (SoCs). Networks on Chips (N...
147
click to vote
MM
1997
ACM
15 years 10 months ago
1997
ACM
We present the design and implementation of a new programming language for media-intensive applications called Flavor (Formal Language for Audio-Visual Object Representation). It ...
168
click to vote
WCRE
1997
IEEE
15 years 10 months ago
1997
IEEE
Reverse Engineering is focused on the challenging task of understanding legacy program code without having suitable documentation. Using a transformational forward engineering per...