3147 search results - page 34 / 630 » Open-Source Model Checking |
FASE
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The build architecture of legacy C/C++ software systems, groups program files in directories to represent logical components. The interfaces of these components are loos...
EDBT
2009
ACM
15 years 3 months ago
2009
ACM
We investigate the problem of refining SQL queries to satisfy cardinality constraints on the query result. This has applications to the many/few answers problems often faced by da...
SIMUTOOLS
2008
15 years 1 months ago
2008
A collaboration between simulationists and scientists working on fire spread and ecology led to the design of a 3D visualization tool. This tool is a post-processor which can be l...
136
click to vote
AIME
2011
Springer
13 years 11 months ago
2011
Springer
This paper describes a novel methodological approach to identifying inconsistencies when concurrently using multiple clinical practice guidelines. We discuss how to construct a for...
109
click to vote
ECAI
2008
Springer
15 years 1 months ago
2008
Springer
The use of rules in business modeling is becoming more and more important, in applications requiring dynamic change of behavior. A number of rule languages and tools have been prop...