3928 search results - page 588 / 786 » order 2006 |
197
click to vote
BIRTHDAY
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
199
click to vote
BPM
2006
Springer
15 years 11 months ago
2006
Springer
Adaptivity in Process Management Systems (PMS) is key to their successful applicability in pratice. Approaches have already been developed to ensure the system correctness after ar...
198
click to vote
BPM
2006
Springer
15 years 11 months ago
2006
Springer
Little is known about error probability in enterprise models as they are usually kept private. The SAP reference model is a publically available model that contains more than 600 n...
183
click to vote
BPM
2006
Springer
15 years 11 months ago
2006
Springer
In recent years adaptive process management technolgy has emerged in order to increase the flexibility of business process implementations and to support process changes at differe...
179
click to vote
CAISE
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Data security is well-recognized a vital issue in an information system that is supported in an outsource environment. However, most of conventional XML encryption propos...