2722 search results - page 165 / 545 » Automating Language Evolution |
163
click to vote
ESORICS
2009
Springer
16 years 5 months ago
2009
Springer
By shifting the burden of proofs to the user, a proof-carrying authorization (PCA) system can automatically enforce complex access control policies. Unfortunately, managing those p...
171
click to vote
ISVC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Virtual agents are used to interact with humans in a myriad of applications. However, the agents often lack the believability necessary to maximize their effectiveness. T...
140
click to vote
FLOPS
2004
Springer
15 years 10 months ago
2004
Springer
We present a graphical tool for the declarative debugging of wrong answers in functional-logic languages. The tool, integrated in the system T OY, can be used to navigate a computa...
143
click to vote
ENTCS
2002
15 years 4 months ago
2002
We describe a proof dedicated meta-language, called Ltac, in the context of the Coq proof assistant. This new layer of meta-language is quite appropriate to write small and local ...
126
click to vote
CSL
2009
Springer
15 years 11 months ago
2009
Springer
We study Craig interpolation for fragments and extensions of propositional linear temporal logic (PLTL). We consider various fragments of PLTL obtained by restricting the set of te...