292 search results - page 34 / 59 » Abstract and Model Check While You Prove |
148
click to vote
ASIAN
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This text is an informal review of several randomized algorithms that have appeared over the past two decades and have proved instrumental in extracting efficiently quant...
144
Voted
CAISE
2010
Springer
15 years 3 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 ...
149
click to vote
ECMDAFA
2005
Springer
15 years 7 months ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...
121
click to vote
BPM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. A configurable process model describes a family of similar process models in a given domain. Such a model can be configured to obtain a specific process model that is sub...
127
click to vote
ESORICS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We study methods that allow web sites to safely combine JavaScript from untrusted sources. If implemented properly, filters can prevent dangerous code from loading into t...