4502 search results - page 527 / 901 » Regular Model Checking |
187
click to vote
B
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
177
click to vote
ASWEC
2006
IEEE
16 years 26 days ago
2006
IEEE
The Kerberos-One-Time protocol is a key distribution protocol promoted for use with Javacards to provide secure communication over the GSM mobile phone network. From inspection we...
188
click to vote
APSEC
2005
IEEE
16 years 12 days ago
2005
IEEE
The lack of a precise semantics for UML activity diagrams makes the reasoning on models constructed using such diagrams infeasible. However, such diagrams are widely used in domai...
188
click to vote
BPM
2005
Springer
16 years 10 days ago
2005
Springer
: The capability to easily find useful services becomes increasingly critical in several fields. In this paper we argue that, in many situations, the service discovery process shou...
140
click to vote
BPM
2005
Springer
16 years 10 days ago
2005
Springer
We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional...