53302 search results - page 199 / 10661 » Meta-Design: Design for Designers |
142
click to vote
RTAS
2010
IEEE
15 years 2 months ago
2010
IEEE
Many safety-critical embedded systems are subject to certification requirements; some systems may be required to meet multiple sets of certification requirements, from different c...
147
click to vote
SENSYS
2010
ACM
15 years 2 months ago
2010
ACM
We present A-MAC, a receiver-initiated link layer for low-power wireless networks that supports several services under a unified architecture, and does so more efficiently and sca...
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
138
click to vote
TACAS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Intermediate languages are a paradigm to separate concerns in software verification systems when bridging the gap between programming languages and the logics understood ...