6740 search results - page 1141 / 1348 » Using Classification as a Programming Language |
161
Voted
HICSS
1998
IEEE
15 years 10 months ago
1998
IEEE
We utilize the situation calculus to develop a logical model of hypertext systems. The work builds upon the earlier work of Bieber and Kimbrough in the logical modeling of hyperte...
166
Voted
SCCC
1998
IEEE
15 years 10 months ago
1998
IEEE
Java is a programming language designed with concurrency in mind from its inception. However, the synchronization mechanism provided is a restricted version of Hoare's Monito...
172
Voted
CCS
1998
ACM
15 years 10 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...
159
click to vote
IPPS
1997
IEEE
15 years 10 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...
150
click to vote
WCRE
1997
IEEE
15 years 10 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...