84 search results - page 7 / 17 » Associating assertions with business processes and monitorin... |
CORR
2010
Springer
13 years 4 months ago
2010
Springer
We propose a lightweight approach for certification of Java bytecode monitor inlining using proof-carrying code. The main purpose of such a framework is to enable development use ...
IFIP
2009
Springer
14 years 2 days ago
2009
Springer
E-contracts express the rights and obligations of parties through a formal, digital representation of the contract provisions. In process intensive relationships, e-contracts conta...
BPM
2009
Springer
14 years 2 months ago
2009
Springer
The management of development processes is a challenging task and needs adequate tool support. In the course of a development project, many different engineering and management pr...
VLDB
2001
ACM
13 years 12 months ago
2001
ACM
Workflow management systems (WfMSs) are software platforms that allow the definition, execution, monitoring, and management of business processes. WfMSs log every event that occur...
BPM
2009
Springer
14 years 2 months ago
2009
Springer
Process models are considered to be a major asset in modern business organizations. They are expected to apply to all the possible business contexts in which the process may be exe...