Sciweavers

1086 search results - page 149 / 218
» Event Structures with Symmetry
Sort
View
WSC
2008
14 years 12 days ago
Analytical simulation modeling
Simulation modeling methodology research and simulation analysis methodology research have evolved into two nearly separate fields. In this paper, ways are shown how simulation mi...
Lee Schruben
APN
2008
Springer
14 years 2 days ago
Faster Unfolding of General Petri Nets Based on Token Flows
In this paper we propose two new unfolding semantics for general Petri nets combining the concept of prime event structures with the idea of token flows developed in [11]. In contr...
Robin Bergenthum, Robert Lorenz, Sebastian Mauser
CAISE
2008
Springer
14 years 2 days ago
The Challenges of Service Evolution
Abstract. Services are subject to constant change and variation. Services can evolve typically due to changes in structure, e.g., attributes and operations; in behavior and policie...
Mike P. Papazoglou
CAISE
2006
Springer
14 years 1 days ago
Incremental Evaluation of OCL Constraints
: Integrity checking is aimed at determining whether an operation execution violates a given integrity constraint. To perform this computation efficiently, several incremental meth...
Jordi Cabot, Ernest Teniente
ATMOS
2008
187views Optimization» more  ATMOS 2008»
13 years 11 months ago
Solving Periodic Timetable Optimisation Problems by Modulo Simplex Calculations
In the last 15 years periodic timetable problems have found much interest in the combinatorial optimization community. We will focus on the optimisation task to minimise a weighted...
Karl Nachtigall, Jens Opitz