Some Remarks on Definability of Process Graphs (2008)
Clemens Grabmayer, Jan Willem Klop, Bas Luttik, Cwi Amsterdam
Abstract. We propose the notions of “density ” and “connectivity ” of infinite process graphs and investigate them in the context of the wellknown process algebras BPA and BPP. For a process...
Semantics and termination of simply moded logic programs with dynamic scheduling (2007)
Sandro Etalle, Cwi Amsterdam, Sabina Rossi, Foscari Venezia, ...
In logic programming, dynamic scheduling indicates the feature by means of which the choice of the atom to be selected at each resolution step is done at runtime and does not follow a fixed selection...
Harry Buhrman, Cwi Amsterdam, Jim Kadin, Thomas Thierauf
k, the class of functions that can be computed in polynomial time with nonadaptive queries to an NP oracle. This is motivated by the question of whether it is possible to compute witnesses for NP...
The fracas Project Administrator (2007)
Cwi Amsterdam, Buccleuch Place
For copies of reports, updates on project activities and other fracas-related information, contact:
Dario Catalano, Eike Kiltz, Cwi Amsterdam, Gregory Neven, ...
We identify and fill some gaps with regard to consistency (the extent to which false positives are produced) for public-key encryption with keyword search (PEKS). We define computational and...
Nuovo DRM paradiso: formal specification and verification of a DRM protocol (2006)
H. Jonker, S. Krishnan Nair, M. Torabi Dashti, Cwi Amsterdam
Abstract. We present a DRM-preserving content redistribution scheme, based on the NPGCT scheme [15], that provides fairness in unsupervised exchanges. The proposed scheme is formally specified,...
Termination of Simply Moded Logic Programs with Dynamic Scheduling (2004)
Annalisa Bossi, Sandro Etalle, Cwi Amsterdam, Jan-Georg Smaus, Sabina Rossi, Foscari Venezia, ...
this article, we provide a sucient and necessary criterion for termination of input consuming derivations of simply moded logic programs. The termination criterion we propose is based on a...
The Bluffer's Guide To Computational Semantics (1996)
Cwi Amsterdam, Buccleuch Place
This is a glossary of concepts relevant for computational semantics. The choice of lemmata is based on the concepts mentioned in the Pitlochry document and on previous FraCaS discussions. Motto...
A Framework for Computational Semantics (1994)
Robin Cooper, Richard Crouch, Jan Van Eijck, Chris Fox, Josef Van Genabith, Jan Jaspers, ...
lre 62-051 fracas