4036 search results - page 177 / 808 » Formal Methods |
158
click to vote
ASIAN
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
173
click to vote
ITSSA
2006
15 years 6 months ago
2006
: This paper proposes a formal methodology for designing multi-agent systems based on stepwise refinements. The main contribution consists in providing a set of methodological prin...
196
click to vote
ARITH
2001
IEEE
15 years 10 months ago
2001
IEEE
Design of the leading zero anticipator ( L a ) or detector (LZD) is pivotal to the normalization of results for addition and fused multiplication-addition in highperjormance float...
177
click to vote
ICFCA
2010
Springer
16 years 1 months ago
2010
Springer
This paper is the successor to two previous papers published at the ICFCA conference. In the first paper we have shown that in the Description Logics EL and ELgfp, the set of gene...
168
click to vote
FMCO
2003
Springer
15 years 11 months ago
2003
Springer
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...