1888 search results - page 200 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
148
click to vote
PPDP
2007
Springer
15 years 10 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
151
click to vote
DEBU
2008
15 years 4 months ago
2008
Services Research Lab at the Knoesis center and the LSDIS lab at University of Georgia have played a significant role in advancing the state of research in the areas of workflow m...
123
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
We introduce HAIL (High-Availability and Integrity Layer), a distributed cryptographic system that allows a set of servers to prove to a client that a stored file is intact and r...
129
click to vote
FMSD
2006
15 years 4 months ago
2006
A Promela specification and a set of temporal properties are developed for a basic call service with a number of features. The properties are expressed in the logic LTL. Interactio...
154
click to vote
LREC
2008
15 years 5 months ago
2008
We address here the need to assist users in rapidly accessing the most important or strategic information in the text corpus by identifying sentences carrying specific information...