47 search results - page 1 / 10 » Seamless formal verification of complex event processing app... |
DEBS
2007
ACM
14 years 2 months ago
2007
ACM
ICWE
2005
Springer
14 years 4 months ago
2005
Springer
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...
ICSE
1999
IEEE-ACM
14 years 3 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
PODS
2011
ACM
13 years 1 months ago
2011
ACM
Complex Event Processing (CEP) Systems are stream processing systems that monitor incoming event streams in search of userspecified event patterns. While CEP systems have been ad...
EPK
2006
14 years 11 days ago
2006
Abstract: Event-driven Process Chains (EPCs) are a commonly used modelling technique for design and documentation of business processes. Although EPCs have an easy-to-understand no...