4167 search results - page 583 / 834 » Regression model checking |
145
click to vote
APSEC
2005
IEEE
15 years 9 months 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...
141
click to vote
BPM
2005
Springer
15 years 9 months 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...
104
click to vote
BPM
2005
Springer
15 years 9 months 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...
151
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
122
Voted
ISW
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a universally composable time-stamping scheme based on universal one-way hash functions. The model we use contains an ideal auditing functionality (implementab...