425 search results - page 54 / 85 » Controlling a Language Generation Planner |
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
ā Initial-state opacity emerges as a key property in numerous security applications of discrete event systems including key-stream generators for cryptographic protocols. Speciļ¬...
IFIP
2010
Springer
14 years 4 months ago
2010
Springer
We present a new approach to information flow control (IFC), ploits counterexample-guided abstraction refinement (CEGAR) technology. The CEGAR process is built on top of our existi...
IFM
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the speciļ¬cation language Object-Z, can be linked to standard software engine...
OOPSLA
2001
Springer
15 years 2 months ago
2001
Springer
The Multitasking Virtual Machine (called from now on simply MVM) is a modification of the Javaā¢ virtual machine. It enables safe, secure, and scalable multitasking. Safety is ac...
EMSOFT
2004
Springer
15 years 3 months ago
2004
Springer
Esterel is a system-level language for the modelling, veriļ¬cation and synthesis of control dominated (reactive) embedded systems. Existing Esterel compilers generate intermediat...