3081 search results - page 210 / 617 » A Formal Ontology of Properties |
166
click to vote
APPINF
2003
15 years 8 months ago
2003
An approach for specifying the management of a distributed system is herein described. Based on this formal approach, a management can be generated. The base of the specification ...
174
click to vote
ENTCS
2010
15 years 3 months ago
2010
We propose an automata-based formalism for the description of biological systems that allows properties expressed in the universal fragment of CTL to be verified in a modular way....
178
click to vote
FC
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...
194
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
169
click to vote
TLCA
2005
Springer
16 years 11 hour ago
2005
Springer
There is growing public concern about personal data collected by both private and public sectors. People have very little control over what kinds of data are stored and how such da...