305 search results - page 47 / 61 » Petri Net Analysis Using Decision Diagrams |
LISA
2007
14 years 11 months ago
2007
Firewall policies can be extremely complex and difficult to maintain, especially on networks with more than a few hundred machines. The difficulty of configuring a firewall proper...
IMC
2005
ACM
15 years 3 months ago
2005
ACM
Flow measurement evolved into the primary method for measuring the composition of Internet traffic. Large ISPs and small networks use it to track dominant applications, dominant ...
BPM
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. A configurable process model describes a family of similar process models in a given domain. Such a model can be configured to obtain a specific process model that is sub...
CAISE
2004
Springer
15 years 2 months ago
2004
Springer
The paper describes the representation and use of three ontologies in a software aiming at the assistance of a virtual team in business process analysis and improvement (BPI), usin...
ICDE
2010
IEEE
15 years 4 months ago
2010
IEEE
— We present a tool for the static analysis of XPath queries and XML Schemas. The tool introduces techniques used in the field of verification (such as binary decision diagrams...