1536 search results - page 240 / 308 » The Underlying Logic of Hoare Logic |
167
click to vote
NCA
2007
IEEE
16 years 13 days ago
2007
IEEE
Developing middleware services for dynamic distributed systems, e.g., ad-hoc networks, is a challenging task given that such services deal with dynamically changing membership and...
175
click to vote
ESORICS
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. Security policies, in particular access control, are fundamental elements of computer security. We address the problem of authoring and analyzing policies in a modular wa...
177
click to vote
FPGA
2007
ACM
16 years 10 days ago
2007
ACM
The application-specific multiprocessor System-on-a-Chip is a promising design alternative because of its high degree of flexibility, short development time, and potentially high ...
149
click to vote
ICDT
2007
ACM
16 years 10 days ago
2007
ACM
Abstract. We define and study formal privacy guarantees for information integration systems, where sources are related to a public schema by mappings given by source-to-target dep...
185
click to vote
ICLP
2007
Springer
16 years 9 days ago
2007
Springer
This paper describes the dlvhex SPARQL plugin, a query processor for the upcoming Semantic Web query language standard by W3C. We report on the implementation of this languages usi...