923 search results - page 51 / 185 » Proving the value of formal methods |
191
click to vote
JAIR
2002
15 years 5 months ago
2002
The recursive least-squares (RLS) algorithm is one of the most well-known algorithms used in adaptive filtering, system identification and adaptive control. Its popularity is main...
156
click to vote
TYPES
1993
Springer
15 years 10 months ago
1993
Springer
Abstract. We explore the expressive power of the formalism called Natural Operational Semantics, NOS, introduced by Burstall and Honsell for defining the operational semantics of ...
141
click to vote
ESORICS
2007
Springer
16 years 8 days ago
2007
Springer
Protocol participants manipulate values, transforming the cryptographic contexts in which they occur. The rules of the protocol determine which transformations are permitted. We fo...
168
click to vote
ICECCS
2007
IEEE
15 years 10 months ago
2007
IEEE
In recent years, separation logic has emerged as a contender for formal reasoning of heap-manipulating imperative programs. Recent works have focused on specialised provers that a...
275
click to vote
FOSSACS
2011
Springer
14 years 9 months ago
2011
Springer
Traditional automata accept or reject their input, and are therefore Boolean. In contrast, weighted automata map each word to a value from a semiring over a large domain. The speci...