1346 search results - page 225 / 270 » Alternating-time dynamic logic |
190
click to vote
DAC
2004
ACM
15 years 9 months ago
2004
ACM
In System on Chip (SoC) design, growing design complexity has esigners to start designs at higher abstraction levels. This paper proposes an SoC design methodology that makes full...
148
click to vote
CCS
2006
ACM
15 years 9 months ago
2006
ACM
Web applications are the Achilles heel of our current ICT infrastructure. NIST's national vulnerability database clearly shows that the percentage of vulnerabilities located ...
181
click to vote
EMSOFT
2006
Springer
15 years 9 months ago
2006
Springer
Concurrent programming languages should be a good fit for embedded systems because they match the intrinsic parallelism of their architectures and environments. Unfortunately, typ...
148
click to vote
EMSOFT
2006
Springer
15 years 9 months ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
147
click to vote
ISN
2000
Springer
15 years 9 months ago
2000
Springer
Telecommunications network management has attracted a lot of attention in terms of research and standardisation in the last decade. TMN and TINA architectural frameworks try to add...