891 search results - page 144 / 179 » Towards Reasoning Pragmatics |
CSFW
2010
IEEE
15 years 3 months ago
2010
IEEE
—Quantitative information-flow analysis (QIF) is an emerging technique for establishing information-theoretic confidentiality properties. Automation of QIF is an important step...
112
click to vote
ICDE
2007
IEEE
15 years 3 months ago
2007
IEEE
Current social networks implement very simple protection mechanisms, according to which a user can state whether his/her personal data, relationships, and resources should be eith...
120
click to vote
ATAL
2004
Springer
15 years 3 months ago
2004
Springer
In this paper we introduce a model for direct communication in situated multi-agent systems. Direct communication is typically associated with cognitive agents, where the informat...
110
click to vote
CAISE
2006
Springer
15 years 3 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
121
click to vote
CIKM
2006
Springer
15 years 3 months ago
2006
Springer
Research in the areas of privacy preserving techniques in databases and subsequently in privacy enhancement technologies have witnessed an explosive growth-spurt in recent years. ...