1454 search results - page 26 / 291 » Stateful traits and their formalization |
84
Voted
FM
2001
Springer
15 years 5 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 ...
124
Voted
ICFP
2010
ACM
15 years 19 days 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...
ICDCS
2009
IEEE
15 years 9 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...
102
click to vote
APN
2009
Springer
15 years 7 months 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...
105
Voted
SAC
2010
ACM
15 years 7 months 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 ...