2655 search results - page 361 / 531 » Event Systems and Access Control |
153
click to vote
WSC
1989
15 years 7 months ago
1989
Proof Animation™ is a family of products for animating discrete event simulations. Proof is available in a variety of versions, including an inexpensive, student version, midsiz...
169
click to vote
TOPNOC
2008
15 years 6 months ago
2008
Abstract. In a seminal paper, McMillan proposed a technique for constructing a finite complete prefix of the unfolding of bounded (i.e., finitestate) Petri nets, which can be used ...
183
click to vote
PERCOM
2010
ACM
15 years 4 months ago
2010
ACM
Abstract—Bringing heterogeneous devices like industrial machines, home appliances, and wireless sensors into the Web assumes the usage of well-defined standards and protocols. O...
159
click to vote
SP
2006
IEEE
16 years 14 days ago
2006
IEEE
Attackers and defenders of computer systems both strive to gain complete control over the system. To maximize their control, both attackers and defenders have migrated to low-leve...
178
click to vote
DEON
2008
Springer
15 years 8 months ago
2008
Springer
The security policy of an information system may include a wide range of different requirements. The literature has primarily focused on access and information flow control require...