1080 search results - page 3 / 216 » Modeling Constraint Programs with Software Technology Standa... |
ICFEM
2004
Springer
14 years 29 days ago
2004
Springer
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...
KES
2000
Springer
13 years 11 months ago
2000
Springer
Agent-based computational economic modeling requires demanding work on computer programming. Usually, the publications as outcomes of running these programs do not provide readers ...
HICSS
2003
IEEE
14 years 27 days ago
2003
IEEE
The economic impact of the growth dynamic of standards is often described from a macroeconomic point of view, employing network effect theory and models dealing with externalities...
IHI
2012
12 years 3 months ago
2012
We present a novel software tool called CDN (Collaborative Data Network) for large-scale sharing and querying of clinical documents modeled using HL7 v3 standard (e.g., Clinical D...
ATVA
2008
Springer
13 years 9 months ago
2008
Springer
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...