790 search results - page 39 / 158 » A Model Checking Language for Concurrent Value-Passing Syste... |
100
click to vote
ACSD
2009
IEEE
15 years 8 months ago
2009
IEEE
We present a formal semantics for a subset of Verilog, commonly used to describe cell libraries, in terms of transition systems. Such transition systems can serve as input to symb...
119
Voted
IPPS
2002
IEEE
15 years 6 months ago
2002
IEEE
A natural trend in most of the engineering disciplines is the construction of systems from components. This has the potential to reduce costs and increase reliability, provided th...
129
Voted
SPIN
2009
Springer
15 years 8 months ago
2009
Springer
: Most intrusion detection systems deployed today apply misuse detection as analysis method. Misuse detection searches for attack traces in the recorded audit data using predefined...
135
click to vote
TGC
2005
Springer
15 years 7 months ago
2005
Springer
The Model-Driven Architecture (MDA) technology toolset includes a language for describing the structure of meta-data, the MOF, and a language for describing consistency properties ...
129
click to vote
EMSOFT
2005
Springer
15 years 7 months ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...