7167 search results - page 262 / 1434 » A Technique for Invariant Generation |
184
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Prometheus is an agent-oriented software engineering methodology. The Prometheus Design Tool (PDT) is a software tool that supports a designer who is using the Prometheus methodol...
220
click to vote
BPM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Business process models usually capture data exchanged between tasks in terms of objects. These objects are commonly standardized using reference data models that prescri...
202
click to vote
PKC
2005
Springer
16 years 24 days ago
2005
Springer
We develop a method for generating shared, secret, safe primes applicable to use in threshold RSA signature schemes such as the one developed by Shoup. We would like a scheme usabl...
177
click to vote
WEBI
2005
Springer
16 years 24 days ago
2005
Springer
In order to let software programs gain full benefit from semi-structured web sources, wrapper programs must be built to provide a “machine-readable” view over them. A signific...
209
click to vote
APN
2004
Springer
16 years 22 days ago
2004
Springer
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...