5377 search results - page 685 / 1076 » Programming Languages For Interactive Computing |
121
Voted
APLAS
2006
ACM
15 years 11 months ago
2006
ACM
The abstract domain of polyhedra is sufficiently expressive to be deployed in verification. One consequence of the richness of this domain is that long, possibly infinite, sequen...
123
Voted
UM
2005
Springer
15 years 10 months ago
2005
Springer
During conversation, people often make assumptions or suppositions that are not explicitly stated. Failure to identify these suppositions may lead to mis-communication. In this pap...
129
click to vote
UM
2005
Springer
15 years 10 months ago
2005
Springer
Closed corpus AH systems demonstrate what is possible to achieve with adaptive hypermedia technologies; however they are impractical for dealing with the large volume of open corpu...
155
click to vote
CCS
1998
ACM
15 years 9 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...
133
click to vote
WCRE
1997
IEEE
15 years 9 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...