8828 search results - page 23 / 1766 » Formal methods in practice |
145
click to vote
VLDB
2001
ACM
15 years 10 months ago
2001
ACM
In this paper, we present an approach to global transactionmanagementinworkflowenvironments.Thetransaction mechanism is based on the well-known notion of compensation, but extended...
CCS
2006
ACM
15 years 1 months ago
2006
ACM
Attackers often try to evade an intrusion detection system (IDS) when launching their attacks. There have been several published studies in evasion attacks, some with available to...
PVM
2009
Springer
15 years 4 months ago
2009
Springer
INFORMATICALT
2008
14 years 9 months ago
2008
FATES
2003
Springer
15 years 3 months ago
2003
Springer
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...