Sciweavers

1534 search results - page 202 / 307
» A Business Process Explorer: Recovering Business Processes f...
Sort
View
SIGADA
2005
Springer
14 years 1 months ago
The affordable application of formal methods to software engineering
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
James F. Davis
SIGMOD
2005
ACM
100views Database» more  SIGMOD 2005»
14 years 8 months ago
Events on the edge
The emergence of large-scale receptor-based systems has enabled applications to execute complex business logic over data generated from monitoring the physical world. An important...
Shariq Rizvi, Shawn R. Jeffery, Sailesh Krishnamur...
BTW
2009
Springer
128views Database» more  BTW 2009»
13 years 11 months ago
Stream-Based Web Service Invocation
: Service-oriented architectures (SOA) based on Web service technology play an increasingly important role in many different application areas. The current service invocation metho...
Steffen Preissler, Hannes Voigt, Dirk Habich, Wolf...
CGF
2008
100views more  CGF 2008»
13 years 7 months ago
Density Displays for Data Stream Monitoring
In many business applications, large data workloads such as sales figures or process performance measures need to be monitored in real-time. The data analysts want to catch proble...
Ming C. Hao, Daniel A. Keim, Umeshwar Dayal, Danie...
VLDB
2002
ACM
156views Database» more  VLDB 2002»
13 years 7 months ago
A Logical Framework for Scheduling Workflows under Resource Allocation Constraints
A workflow consists of a collection of coordinated tasks designed to carry out a welldefined complex process, such as catalog ordering, trip planning, or a business process in an ...
Pinar Senkul, Michael Kifer, Ismail Hakki Toroslu