1454 search results - page 26 / 291 » Stateful traits and their formalization |
135
click to vote
FM
2001
Springer
15 years 10 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking many distributed systems. Timestamps are often ...
178
click to vote
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...
134
click to vote
ICDCS
2009
IEEE
16 years 3 months ago
2009
IEEE
We identify a new type of stateful IDS evasion, named signature evasion. We formalize the signature evasion on those Stateful IDSs whose state can be modeled using Deterministic F...
180
click to vote
APN
2009
Springer
16 years 20 days ago
2009
Springer
The ASCoVeCo State space Analysis Platform (ASAP) is a tool for performing explicit state space analysis of coloured Petri nets (CPNs) and other formalisms. ASAP supports a wide ra...
161
click to vote
SAC
2010
ACM
16 years 27 days ago
2010
ACM
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...