630 search results - page 123 / 126 » Oclets - Scenario-Based Modeling with Petri Nets |
ACNS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We propose a novel framework named Hidden Colored PetriNet for Alert Correlation and Understanding (HCPN-ACU) in intrusion detection system. This model is based upon the ...
WWW
2008
ACM
14 years 9 months ago
2008
ACM
Complex dialogs with comprehensive underlying data models are gaining increasing importance in today's Web applications. This in turn accelerates the need for highly dynamic ...
ICC
2009
IEEE
14 years 3 months ago
2009
IEEE
—A key agreement protocol is a protocol whereby two or more communicating parties can agree on a key or exchange information over an open communication network in such a way that...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
Network processors today consists of multiple parallel processors (microengines) with support for multiple threads to exploit packet level parallelism inherent in network workload...
TACAS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...