3256 search results - page 278 / 652 » Applications of Formal Methods to System Design and Verifica... |
187
click to vote
USENIX
1996
15 years 8 months ago
1996
This paper describes a new method for providingtransparent fault tolerance for parallel applications on a network of workstations. We have designed our method in the context of sh...
173
click to vote
AFP
1995
Springer
15 years 10 months ago
1995
Springer
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...
190
click to vote
ER
2005
Springer
16 years 4 days ago
2005
Springer
Nowadays, the maturity reached by the Web engineering research community can be assessed by the myriad of web design methods that have proven successful for the specification of th...
175
click to vote
FMCO
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...
156
click to vote
FC
2010
Springer
15 years 10 months ago
2010
Springer
Key management is the Achilles’ heel of cryptography. This work presents a novel Key-Lifecycle Management System (KLMS), which addresses two issues that have not been addressed ...