1396 search results - page 105 / 280 » aim 2006 |
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
This paper focuses on Coalition Formation paradigm as a market mechanism. Concretely, Coalition Formation occurs as part of a wider open world and may occur many times during the l...
129
click to vote
ATVA
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
120
click to vote
BPM
2006
Springer
15 years 4 months ago
2006
Springer
This paper comes back to the problem of coordination of cooperative activities with a Workflow management system. First, we describe the differences that we have noted between busi...
115
Voted
BPM
2006
Springer
15 years 4 months ago
2006
Springer
Process-aware Information Systems typically log events (e.g., in transaction logs or audit trails) related to the actual business process executions. Proper analysis of these execu...
93
Voted
CAISE
2006
Springer
15 years 4 months ago
2006
Springer
Data exchange between heterogeneous schemas is a difficult problem that becomes more acute if the source and target schemas are from different data models. The data type of the obj...