941 search results - page 147 / 189 » Petri Nets Are Dioids |
105
click to vote
IJFCS
2008
14 years 11 months ago
2008
The conventional forbidden state problem for discrete event systems is concerned with the issue of synthesizing a maximally permissive control policy to prevent a discrete event s...
ENTCS
2007
14 years 11 months ago
2007
The first and the second author introduced reversible ccs (rccs) in order to model concurrent computations where certain actions are allowed to be reversed. Here we t the core of...
ACMSE
2005
ACM
15 years 5 months ago
2005
ACM
Accurate identification of misuse is a key factor in determining appropriate ways to protect systems. Modern intrusion detection systems often use alerts from different sources su...
SIGSAND
2008
15 years 1 months ago
2008
Configurable business software solutions are increasingly being implemented based on service oriented architectures (SOA). Hereunto model driven approaches for the definition and i...
SACMAT
2003
ACM
15 years 5 months ago
2003
ACM
In large organizations the administration of access privileges (such as the assignment of an access right to a user in a particular role) is handled cooperatively through distribu...