1914 search results - page 201 / 383 » Verification by Abstract Interpretation |
159
Voted
SFP
2004
15 years 6 months ago
2004
Abstract: Generic programming can bring important benefits to software engineering. In particular, it reduces the burden of verification, since generic proofs can be instantiated a...
147
Voted
WSC
1994
15 years 6 months ago
1994
ABSTRACT This paper provides beginning and intermediate simulation practitioners and interested simulation consumers with a grounding in how discrete-event simulation software work...
141
Voted
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
We present a new approach for finding generalized contingent plans with loops and branches in situations where there is uncertainty in state properties and object quantities, but ...
136
click to vote
ATVA
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. This work introduces a new data structure, called Lattice-Valued Binary Decision Diagrams (or LVBDD for short), for the compact representation and manipulation of functio...
151
click to vote
BPM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Mainstream workflow management systems are using procedural languages ranging from BPMN and EPCs to BPEL and YAWL. By demonstrating DECLARE, we will show that it is also ...