1804 search results - page 82 / 361 » On set systems with a threshold property |
149
click to vote
SAFECOMP
2005
Springer
16 years 5 days ago
2005
Springer
When the safety community designs their systems to also maintain security properties, it is likely that public-key encryption will be among the tools that are applied. The security...
213
Voted
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend ...
181
click to vote
IJCIS
2006
15 years 6 months ago
2006
Abstract. This paper presents a framework for monitoring the compliance of systems composed of webservices with requirements set for them at run-time. This framework assumes system...
164
click to vote
DAM
2006
15 years 6 months ago
2006
Sequential dynamical systems have the property, that the updates of states of individual cells occur sequentially, so that the global update of the system depends on the order of t...
155
click to vote
FDL
2005
IEEE
16 years 10 days ago
2005
IEEE
We present an original method for generating monitors that capture the occurrence of events, specified by logical and temporal properties under the form of assertions in declarati...