31387 search results - page 400 / 6278 » Abstracts |
210
click to vote
ASM
2003
ASM
16 years 23 days ago
2003
ASM
Abstract. We compare three specification frameworks for the operationtics of programming languages, abstract state machines (ASMs) and the two incarnations of natural semantics, b...
226
click to vote
EUROCRYPT
2003
Springer
16 years 23 days ago
2003
Springer
Abstract Benny Pinkas HP Labs Abstract. We demonstrate a transformation of Yao’s protocol for secure two-party computation to a fair protocol in which neither party gains any sub...
197
click to vote
FMCO
2003
Springer
16 years 23 days ago
2003
Springer
ract State Machine Language, AsmL, is a novel executable specification based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical d...
200
click to vote
IEAAIE
2003
Springer
16 years 22 days ago
2003
Springer
Abstract: SumTime-Turbine produces textual summaries of archived timeseries data from gas turbines. These summaries should help experts understand large data sets that cannot be vi...
198
click to vote
WCRE
2002
IEEE
16 years 13 days ago
2002
IEEE
Documentation generation is the process of creating the ocumentation at different levels of abstraction from the source code for a legacy system. The main goal is to help the stak...