12774 search results - page 336 / 2555 » A Framework for Proof Systems |
154
click to vote
TAPSOFT
1997
Springer
15 years 11 months ago
1997
Springer
The SML-like module systems are small typed languages of their own. As is, one would expect a proof of their soundness following from a proof of subject reduction. Unfortunately, t...
172
click to vote
DSS
2007
15 years 6 months ago
2007
This paper develops a methodology for analyzing and predicting the impact category of malicious code, particularly email worms. The current paper develops two frameworks to classi...
170
Voted
DEXAW
1999
IEEE
15 years 11 months ago
1999
IEEE
We propose an object-oriented framework for one of the most frequent and costly operations in parallel database systems: the parallel join. The framework independently captures a ...
161
Voted
LWA
2008
15 years 8 months ago
2008
This article describes the Xtrieval framework - a flexible platform for testing and evaluating different aspects of retrieval systems. The background for the design of the framewo...
204
click to vote
ICS
2009
Tsinghua U.
16 years 1 months ago
2009
Tsinghua U.
“Is transactional memory useful?” is the question that cannot be answered until we provide substantial applications that can evaluate its capabilities. While existing TM appli...