2479 search results - page 271 / 496 » Random Event Structures |
156
click to vote
ETRICS
2006
15 years 9 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
154
click to vote
MABS
2000
Springer
15 years 9 months ago
2000
Springer
Multi Agent Based Simulation (MABS) has been used mostly in purely social contexts. However, compared to other approaches, e.g., traditional discrete event simulation, object-orien...
164
Voted
WSC
2008
15 years 7 months ago
2008
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...
181
click to vote
APN
2008
Springer
15 years 7 months ago
2008
Springer
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...
129
click to vote
CAISE
2008
Springer
15 years 7 months ago
2008
Springer
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...