1538 search results - page 263 / 308 » Business Process Modeling Notation |
117
Voted
APPROX
2007
Springer
15 years 6 months ago
2007
Springer
Abstract Consider a situation where a group of agents wishes to share the costs of their joint actions, and needs to determine how to distribute the costs amongst themselves in a f...
135
click to vote
ZUM
1997
Springer
15 years 4 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
154
click to vote
AGTIVE
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...
108
Voted
CSL
2010
Springer
15 years 1 months ago
2010
Springer
We shall discuss several situations in which it is possible to extract from a proof, be it a proof in a first-order theory or a propositional proof, some feasible computational inf...
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
Rapid changes in the business environment call for more flexible and adaptive workflow systems. Researchers have proposed that Workflow Management Systems (WfMSs) comprising multi...