325 search results - page 49 / 65 » Controlling Petri Net Process Models |
129
Voted
ICCAD
1994
IEEE
15 years 6 months ago
1994
IEEE
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...
132
click to vote
SPIN
2009
Springer
15 years 8 months ago
2009
Springer
: Most intrusion detection systems deployed today apply misuse detection as analysis method. Misuse detection searches for attack traces in the recorded audit data using predefined...
108
Voted
DKE
2008
15 years 2 months ago
2008
In various application domains there is a desire to compare process models, e.g., to relate an organization-specific process model to a reference model, to find a web service matc...
129
click to vote
BPM
2007
Springer
15 years 4 months ago
2007
Springer
Recently, we introduced the concept of an operating guideline of a service as a structure that characterizes all its properly interacting partner services. The hitherto considered ...
115
Voted
SEKE
2004
Springer
15 years 7 months ago
2004
Springer
Software architecture plays a central role in developing software systems that satisfy functionality and security requirements. However, little has been done to integrate system d...