2722 search results - page 219 / 545 » The Model Evolution Calculus |
119
click to vote
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs...
114
click to vote
ARGMAS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper presents a coherentist approach to argumentation that extends previous proposals on cognitive coherence based agent communication pragmatics (inspired from soc...
117
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...
142
Voted
COORDINATION
2006
Springer
15 years 7 months ago
2006
Springer
Van der Aalst recently proposed a set of workflow patterns to characterize the kinds of control flow that appear frequently in workflow processes. These patterns are useful for eva...
115
Voted
CMSB
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper gives algebraic definitions for obtaining the minimal transition and place flows of a modular Petri net from the minimal transition and place flows of its comp...