10568 search results - page 285 / 2114 » Computer Intelligence and Formalization |
173
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
In an optimistic approach to security, one can often simplify protocol design by relying on audit logs, which can be analyzed a posteriori. Such auditing is widely used in practice...
206
click to vote
JACM
2002
15 years 6 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
201
click to vote
ACSC
2006
IEEE
16 years 19 days ago
2006
IEEE
It is necessary to provide a method to store Web information effectively so it can be utilised as a future knowledge resource. A commonly adopted approach is to classify the retri...
186
click to vote
GECCO
2005
Springer
16 years 3 days ago
2005
Springer
Mapping biology into computation has both a domain specific aspect – biological theory – and a methodological aspect – model development. Computational modelers have implici...
196
click to vote
HYBRID
1998
Springer
15 years 10 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....