2477 search results - page 357 / 496 » First-Order Interactive Programming |
CCS
1998
ACM
15 years 2 months ago
1998
ACM
We develop a framework for analyzing security protocols in which protocol adversaries may be arbitrary probabilistic polynomial-time processes. In this framework, protocols are wr...
115
click to vote
ICDCS
1997
IEEE
15 years 2 months ago
1997
IEEE
This paper evaluates the use of per-node multi-threading to hide remote memory and synchronization latencies in a software DSM. As with hardware systems, multi-threading in softwa...
IPPS
1997
IEEE
15 years 2 months ago
1997
IEEE
We describe how we have parallelized Python, an interpreted object oriented scripting language, and used it to build an extensible message-passing molecular dynamics application f...
KBSE
1997
IEEE
15 years 2 months ago
1997
IEEE
Modern software systems are designed and implemented in a modular fashion by composing individual components. Early validation of individual module designs and implementations off...
WCRE
1997
IEEE
15 years 2 months ago
1997
IEEE
We present an approach for the generation of components for a software renovation factory. These components are generated from a context-free grammar definition that recognizes t...