10159 search results - page 256 / 2032 » System Design Validation Using Formal Models |
110
click to vote
CLEIEJ
2004
15 years 3 months ago
2004
ept of reconfigurable systems is almost always restricted to the abstract design level, in which configuration languages are used to manipulate software connections. In this paper...
185
click to vote
AGTIVE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...
143
click to vote
AAI
2000
15 years 3 months ago
2000
This paper introduces a formally specified design of a compositional generic agent model (GAM). This del abstracts from specific application domains; it provides a unified formal ...
127
click to vote
AGTIVE
2007
Springer
15 years 9 months ago
2007
Springer
We present Tiger, a visual environment to design visual language (VL) specifications based on meta models, graph grammars and layout definitions. A VL specification serves as ba...
157
click to vote
FORTE
2008
15 years 4 months ago
2008
Network-based fuzz testing has become an effective mechanism to ensure the security and reliability of communication protocol systems. However, fuzz testing is still conducted in a...