2407 search results - page 235 / 482 » A Tool for Abstraction in Model Checking |
219
click to vote
TASE
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
180
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
238
click to vote
CAISE
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Traditionally, process mining has been used to extract models from event logs and to check or extend existing models. This has shown to be useful for improving processes ...
220
click to vote
JVA
2006
IEEE
16 years 1 months ago
2006
IEEE
History repeats itself. Since the invention of the programmable computer, numerous computer scientists keep dedicating their professional lives to the design of “the single, bes...
160
click to vote
EUROGP
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. Genr8 is a surface design tool for architects. It uses a grammarbased generative growth model that produces surfaces with an organic quality. Grammatical Evolution is use...