1805 search results - page 331 / 361 » A Theory of Closure Operators |
182
click to vote
PPDP
2007
Springer
16 years 8 days ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
185
click to vote
TARK
2007
Springer
16 years 8 days ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
214
click to vote
CCECE
2006
IEEE
16 years 6 days ago
2006
IEEE
Presenting information to an e-learning environment is a challenge, mostly, because ofthe hypertextlhypermedia nature and the richness ofthe context and information provides. This...
158
click to vote
ANCS
2006
ACM
16 years 4 days ago
2006
ACM
The fast spreading worm is becoming one of the most serious threats to today’s networked information systems. A fast spreading worm could infect hundreds of thousands of hosts w...
197
click to vote
ASPLOS
2006
ACM
16 years 4 days ago
2006
ACM
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...