525 search results - page 75 / 105 » New Active Tools for Supporting Narrative Structures |
132
Voted
CAV
2008
Springer
15 years 2 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...
129
click to vote
WETICE
1997
IEEE
15 years 4 months ago
1997
IEEE
When an artifact is designed the typical output consists of documents describing the final result of a long series of deliberations and tradeoffs by the participants of collaborat...
116
click to vote
WCRE
1993
IEEE
15 years 4 months ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
218
click to vote
AWPN
2008
15 years 2 months ago
2008
WoPeD (Workflow Petrinet Designer) is an easy-to-use, Java-based open source software tool being developed at the University of Cooperative Education, Karlsruhe. WoPeD is able to e...
100
click to vote
ICSE
2009
IEEE-ACM
14 years 10 months ago
2009
IEEE-ACM
Abstract--Security evaluation according to ISO 15408 (Common Criteria) is a resource and time demanding activity, as well as being costly. For this reason, only few companies take ...