644 search results - page 92 / 129 » Translation the Wiki way |
138
click to vote
TACAS
2005
Springer
15 years 11 months ago
2005
Springer
Shorter counterexamples are typically easier to understand. The length of a counterexample, as reported by a model checker, depends on both the algorithm used for state space explo...
164
click to vote
SBCCI
2004
ACM
15 years 11 months ago
2004
ACM
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
173
click to vote
APN
2004
Springer
15 years 11 months ago
2004
Springer
Process mining offers a way to distill process models from event logs originating from transactional systems in logistics, banking, e-business, health-care, etc. The algorithms us...
190
click to vote
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable ...
160
click to vote
CARDIS
2004
Springer
15 years 11 months ago
2004
Springer
Smart card applications often handle privacy-sensitive information, and therefore must obey certain security policies. Typically, such policies are described as high-level security...