Sciweavers

1662 search results - page 45 / 333
» Privately Finding Specifications
Sort
View
ATAL
2003
Springer
15 years 6 months ago
Verification and Compliance Testing
Verification and compliance testing are required if agents are to be delegated responsibility for legally binding contracts, for example in electronic markets. This paper describes...
Frank Guerin, Jeremy Pitt
LREC
2008
86views Education» more  LREC 2008»
15 years 3 months ago
Annotating Expressions of Opinion and Emotion in the Italian Content Annotation Bank
In this paper we describe the result of manually annotating I-CAB, the Italian Content Annotation Bank, by expressions of private state (EPSs), i.e., expressions that denote the p...
Andrea Esuli, Fabrizio Sebastiani, Ilaria Urciuoli
IADIS
2003
15 years 3 months ago
Requirements for Groupware Calendar Systems (GCS): Addressing Social Relationships
This paper challenges the generic single conceptual viewpoint that designers have of groupware and specifically Groupware Calendar Systems (GCS). From the analysis of interviews, ...
Sungmin Park, Howard Harris, Patricia Crosbie
DBSEC
2010
113views Database» more  DBSEC 2010»
15 years 2 months ago
A Logic of Privacy
Abstract. We consider the problem of developing an abstract metamodel of access control in terms of which policies for protecting a principal's private information may be spec...
Steve Barker, Valerio Genovese
AI
2008
Springer
15 years 2 months ago
Fault tolerant mechanism design
We introduce the notion of fault tolerant mechanism design, which extends the standard game theoretic framework of mechanism design to allow for uncertainty about execution. Speci...
Ryan Porter, Amir Ronen, Yoav Shoham, Moshe Tennen...