911 search results - page 147 / 183 » Combining programs and state machines |
ISQED
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
NDSS
2003
IEEE
14 years 1 months ago
2003
IEEE
Security is a major, frequent concern in extensible software systems such as Java Virtual Machines and the Common Language Runtime. These systems aim to enable simple, classic app...
VRML
2000
ACM
14 years 1 months ago
2000
ACM
Modeling is used to build structures that serve as surrogates for other objects. As children, we learn to model at a very young age. An object such as a small toy train teaches us...
GECCO
2006
Springer
14 years 10 days ago
2006
Springer
Many agent problems in a grid world have a restricted sensory information and motor actions. The environmental conditions need dynamic processing of internal memory. In this paper...
DAGSTUHL
1998
13 years 10 months ago
1998
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...