2407 search results - page 284 / 482 » A Tool for Abstraction in Model Checking |
215
click to vote
ISEM
2006
15 years 7 months ago
2006
Abstract The GXL Graph eXchange Language is an XML-based standard exchange language for sharing graph data between tools. GXL can be customized to exchange application specific typ...
210
click to vote
DAGM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Graphical models with higher order factors are an important tool for pattern recognition that has recently attracted considerable attention. Inference based on such model...
184
click to vote
DASFAA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. When creating execution-level process models from conceptual to-be process models, challenges are to find implementations for process activities and to use these impleme...
157
click to vote
RSP
1999
IEEE
15 years 11 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
183
click to vote
AIME
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Translating clinical guidelines into formal models is beneficial in many ways, but expensive. The progress in medical knowledge requires clinical guidelines to be updated...