878 search results - page 154 / 176 » Modelling Communicating Agents in Timed Reasoning Logics |
114
click to vote
PODS
2008
ACM
15 years 12 months ago
2008
ACM
We present a novel definition of privacy in the framework of offline (retroactive) database query auditing. Given information about the database, a description of sensitive data, ...
115
click to vote
AINA
2003
IEEE
15 years 3 months ago
2003
IEEE
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
123
click to vote
CCS
2005
ACM
15 years 5 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
SERP
2008
15 years 1 months ago
2008
Web-based application development is a difficult task, since these applications include various features, like graphical interfaces, navigational structures, business models, and ...
102
click to vote
ICINCO
2004
15 years 1 months ago
2004
For half a century, artificial intelligence researchers have focused on giving machines linguistic and mathematical-logical reasoning abilities, modeled after the classic linguist...