3408 search results - page 70 / 682 » Logic, language, information and computation |
FOIKS
2010
Springer
14 years 3 months ago
2010
Springer
As a vision for the future of the Web, the Semantic Web is an open, constantly changing and collaborative environment. Hence it is reasonable to expect that knowledge sources in th...
CCS
2011
ACM
12 years 8 months ago
2011
ACM
We present the design, implementation and evaluation of an algorithm that checks audit logs for compliance with privacy and security policies. The algorithm, which we name reduce,...
DAC
2010
ACM
14 years 23 days ago
2010
ACM
Understanding the flow of information is an important aspect in computer security. There has been a recent move towards tracking information in hardware and understanding the flow...
MMMACNS
2005
Springer
14 years 2 months ago
2005
Springer
SEBD
2003
13 years 10 months ago
2003
The Ambient Logic is a modal logic proposed to describe the structural and computational properties of distributed and mobile computations. The static part of the Ambient Logic is,...