2223 search results - page 81 / 445 » Events in Property Patterns |
CHI
1998
ACM
15 years 2 months ago
1998
ACM
Although design metaphors play an important role in many software projects, their influence on system functionality, project methodology and the interactions among members of the ...
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
— Initial-state opacity emerges as a key property in numerous security applications of discrete event systems including key-stream generators for cryptographic protocols. Speciï¬...
DEBS
2008
ACM
14 years 11 months ago
2008
ACM
We consider a distributed system that disseminates highvolume event streams to many simultaneous monitoring applications over a low-bandwidth network. For bandwidth efficiency, we...
DEDS
2000
14 years 9 months ago
2000
We address the problem of failure diagnosis in discrete event systems with decentralized information. We propose a coordinated decentralized architecture consisting of local sites ...
LOGCOM
2010
14 years 4 months ago
2010
When monitoring a system wrt. a property defined in a temporal logic such as LTL, a major concern is to settle with an adequate interpretation of observable system events; that is,...