933 search results - page 99 / 187 » Extending Forward Checking |
94
Voted
APWEB
2004
Springer
15 years 6 months ago
2004
Springer
We propose a template-based runtime invalidation approach for maintaining cache consistency in database-generated web contents. In our approach, the invalidator sits between a web...
GI
2004
Springer
15 years 6 months ago
2004
Springer
: There is an emerging amount of software for generating and manipulating XML documents. This paper addresses the problem of guaranteeing the validity of dynamically generated XML ...
CONCUR
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...
112
click to vote
POPL
1990
ACM
15 years 4 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
86
Voted
APSEC
2007
IEEE
15 years 4 months ago
2007
IEEE
One major advantage of executable models is that once constructed, they can be run, checked, validated and improved in short incremental and iterative cycles. In the field of Soft...