773 search results - page 114 / 155 » Report on a Practical Application of ASMs in Software Design |
ESAW
2005
Springer
14 years 2 months ago
2005
Springer
Ambient intelligence envisages a world saturated with sensors and other embedded computing technologies, operating transparently, and accessible to all in a seamless and intuitive ...
TPHOL
1996
IEEE
14 years 27 days ago
1996
IEEE
Nuprl and HOL are both tactic-based interactive theorem provers for higher-order logic, and both have been used in many substantial applications over the last decade. However, the ...
NFM
2011
13 years 3 months ago
2011
Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in pr...
SBCCI
2006
ACM
14 years 2 months ago
2006
ACM
Platform-based design is a method to implement complex SoCs, avoiding chip design from scratch. A promising evolution of platform-based design are MPSoC. Such generic architecture...
WWW
2002
ACM
14 years 9 months ago
2002
ACM
ing Application-Level Web Security David Scott Laboratory For Communications Engineering Engineering Department Trumpington Street Cambridge CB2 1PZ djs55@eng.cam.ac.uk Richard Sha...