3081 search results - page 248 / 617 » A Formal Ontology of Properties |
199
click to vote
ICALP
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Weighted automata are used to describe quantitative properties in various areas such as probabilistic systems, image compression, speech-to-text processing. The behaviour...
172
click to vote
EUROCRYPT
2004
Springer
15 years 12 months ago
2004
Springer
In trying to provide formal evidence that composition has security increasing properties, we ask if the composition of non-adaptively secure permutation generators necessarily pro...
166
click to vote
CIA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract For an information-agent-based system to support virtual (Internet-supported) organisations, changes in environmental conditions often demand changes in organisational beh...
166
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs o...
216
click to vote
PERCOM
2010
ACM
15 years 4 months ago
2010
ACM
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...