2282 search results - page 208 / 457 » Active property checking |
134
click to vote
BIS
2008
15 years 6 months ago
2008
The increasing utilization of business process models both in business analysis and information systems development raises several issues regarding quality measures. In this contex...
151
click to vote
FORTE
2001
15 years 6 months ago
2001
Abstract Subtyping relations for object-oriented formalisms describe relationships between super- and subclasses which satisfy the substitutability requirement imposed on types and...
IJCAI
1989
15 years 6 months ago
1989
Most implementations of AND-parallelism tackle the shared variable problem by running literals in parallel only if they have no variables in common and thus are independent from e...
159
click to vote
AEI
2007
15 years 5 months ago
2007
Process mining techniques allow for extracting information from event logs. For example, the audit trails of a workflow management system or the transaction logs of an enterprise ...
116
Voted
CJ
2010
15 years 5 months ago
2010
A contract specifies an interorganizational process together with a distribution of responsibilities for the activities among the parties involved. In this paper, we formally show ...