Sciweavers

1407 search results - page 69 / 282
» Using Use Cases in Executable Z
Sort
View
CSREAEEE
2006
148views Business» more  CSREAEEE 2006»
15 years 5 months ago
Realising RosettaNet PIP Compositions as Web Service Orchestrations - A Case Study
A world of ever growing competition not only forces enterprises to continuously optimise their private business processes but also to integrate their business processes with their ...
Andreas Schönberger, Guido Wirtz
DEBU
2008
104views more  DEBU 2008»
15 years 4 months ago
Process Mining in Web Services: The WebSphere Case
Process mining has emerged as a way to discover or check the conformance of processes based on event logs. This enables organizations to learn from processes as they really take p...
Wil M. P. van der Aalst, H. M. W. (Eric) Verbeek
136
Voted
ATAL
2005
Springer
15 years 9 months ago
Approximating state estimation in multiagent settings using particle filters
State estimation consists of updating an agent’s belief given executed actions and observed evidence to date. In single agent environments, the state estimation can be formalize...
Prashant Doshi, Piotr J. Gmytrasiewicz
136
Voted
FIW
2007
133views Communications» more  FIW 2007»
15 years 5 months ago
Conflict Detection in Call Control Using First-Order Logic Model Checking
Feature interaction detection methods, whether online or offline, depend on previous knowledge of conflicts between the actions executed by the features. This knowledge is usually ...
Ahmed F. Layouni, Luigi Logrippo, Kenneth J. Turne...
RTCSA
2005
IEEE
15 years 9 months ago
Using UML 2.0 for System Level Design of Real Time SoC Platforms for Stream Processing
While enabling fast implementation and reconfiguration of stream applications, programmable stream processors expose issues of incompatibility and lack of adoption in existing st...
Yongxin Zhu, Zhenxin Sun, Alexander Maxiaguine, We...