395 search results - page 72 / 79 » Program abstractions for behaviour validation |
SLE
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Model-Driven Software Development is based on standardised models that are refined, transformed and eventually translated into executable code using code generators. How...
ICCAD
1996
IEEE
14 years 1 months ago
1996
IEEE
Functional simulation is the most widely used method for design verification. At various levels of abstraction, e.g., behavioral, register-transfer level and gate level, the design...
WWIC
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. This paper proposes new cognitive algorithms and mechanisms for detecting 0day attacks targeting the Internet and its communication performances and behavior. For this pu...
EMSOFT
2004
Springer
14 years 1 months ago
2004
Springer
Separating the description of important aspects of a design such as behavior and architecture, or computation and communication, may yield significant advantages in design time as...
DBISP2P
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. This paper addresses the problem of data placement, indexing, and querying large XML data repositories distributed over an existing P2P service infrastructure. Our archit...