2688 search results - page 301 / 538 » A formal semantics for P3P |
248
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
Limiting disclosure in data publishing requires a careful balance between privacy and utility. Information about individuals must not be revealed, but a dataset should still be us...
172
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Keyword-based search returns its results without concern for the information needs of users at a particular time. In general, search queries are too short to represent what users ...
157
click to vote
ECBS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we aim to ascribe a meaning to SysML activity diagrams. To this end, we propose a dedicated algebraic-like language, namely activity calculus, and an operational se...
278
click to vote
TABLEAUX
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau i...
162
click to vote
WIKIS
2009
ACM
16 years 1 months ago
2009
ACM
Software development is a knowledge-intensive activity and frequently implies a progressive crystallization of knowledge, towards programming language statements. Although wikis h...