454 search results - page 57 / 91 » Modeling and analysis of multi-agent systems using petri net... |
151
click to vote
DSN
2000
IEEE
15 years 6 months ago
2000
IEEE
Multiple-Phased Systems, whose operational life can be partitioned in a set of disjoint periods, called “phases”, include several classes of systems such as Phased Mission Sys...
136
click to vote
TCS
2002
15 years 1 months ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
94
Voted
APN
2000
Springer
15 years 6 months ago
2000
Springer
One of the most efficient analysis technique is to reduce an original model into a simpler one such that the reduced model has the same properties than the original one. G. Berthel...
100
click to vote
WSC
2004
15 years 3 months ago
2004
Supply chain management is a critically significant strategy that enterprises depend on in meeting the challenges of today's highly competitive and dynamic business environme...
110
click to vote
ATVA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...