Sciweavers

4340 search results - page 61 / 868
» Formal Methods and Cryptography
Sort
View
108
Voted
TPHOL
2009
IEEE
15 years 10 months ago
Formal Verification of Exact Computations Using Newton's Method
Nicolas Julien, Ioana Pasca
95
Voted
MLDM
2009
Springer
15 years 10 months ago
Tree Kernel and Feature Vector Methods for Formal Semantic Requests Classification
François Bouchet, Jean-Paul Sansonnet
149
Voted
NCA
2008
IEEE
15 years 10 months ago
On the Application of Formal Methods for Specifying and Verifying Distributed Protocols
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
Marina Gelastou, Chryssis Georgiou, Anna Philippou
156
Voted
AB
2008
Springer
15 years 10 months ago
Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods
Johannes Wollbold, Reinhard Guthke, Bernhard Gante...
95
Voted
ACSD
2007
IEEE
97views Hardware» more  ACSD 2007»
15 years 10 months ago
Towards Hilbertian Formal Methods
Marius C. Bujorianu, Manuela L. Bujorianu