904 search results - page 120 / 181 » Towards practical meta-querying |
PLDI
2006
ACM
15 years 3 months ago
2006
ACM
Dependence graphs and memoization can be used to efficiently update the output of a program as the input changes dynamically. Recent work has studied techniques for combining the...
DISCEX
2003
IEEE
15 years 3 months ago
2003
IEEE
Huge challenges exist with systems and networks that must dependably satisfy stringent requirements for security, reliability, and other attributes of trustworthiness. Drawing on ...
ISCA
2003
IEEE
15 years 3 months ago
2003
IEEE
Debuggers have been proven indispensable in improving software reliability. Unfortunately, on most real-life software, debuggers fail to deliver their most essential feature — a...
101
click to vote
CCS
2003
ACM
15 years 3 months ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
DIGRA
2003
Springer
15 years 3 months ago
2003
Springer
The primary aim of this paper is to look into the game related practices and significances of games. This perspective is applied to examining the pleasures derived from different ...