287 search results - page 47 / 58 » Modular Analysis of Petri Nets |
102
click to vote
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
Software systems must face two challenges today: growing complexity and increasing parallelism in the underlying computational models. The problem of increased complexity is often...
118
click to vote
SQJ
2008
14 years 11 months ago
2008
- We present a comprehensive UML statechart diagram analysis framework. This framework allows one to progressively perform different analysis operations to analyze UML statechart d...
146
click to vote
CPE
1994
Springer
15 years 3 months ago
1994
Springer
When implementingparallel programs forparallel computer systems the performancescalability of these programs should be tested and analyzed on different computer configurations and...
102
click to vote
COMCOM
2007
14 years 11 months ago
2007
This paper studies the system parameters that affect the total cost of managing the multicast group on a router. A Petri net model is first proposed to describe the states and t...
RE
2002
Springer
14 years 11 months ago
2002
Springer
Requirements analysis for an Intrusion Detection System (IDS) involves deriving requirements for the IDS from analysis of the intrusion domain. When the IDS is, as here, a collecti...