827 search results - page 63 / 166 » Proof-Theoretic Soundness and Completeness |
DISCEX
2003
IEEE
14 years 3 months ago
2003
IEEE
Huge challenges exist with systems and networks that must dependably satisfy stringent requirements for security, reliability, and other attributes of trustworthiness. Drawing on ...
POPL
2000
ACM
14 years 2 months ago
2000
ACM
Distributed-memory programs are often written using a global address space: any process can name any memory location on any processor. Some languages completely hide the distincti...
ICDE
1993
IEEE
14 years 2 months ago
1993
IEEE
The objective of entity identification is to determine the correspondence between object instances from more than one database. This paper ezamines the problem at the instance lev...
AAAI
2008
14 years 12 days ago
2008
Most algorithms for computing diagnoses within a modelbased diagnosis framework are deterministic. Such algorithms guarantee soundness and completeness, but are P 2 hard. To overc...
BIRTHDAY
2005
Springer
14 years 1 days ago
2005
Springer
Abstract. We introduce an ambient-based calculus that combines ambient mobility with process mobility, uses group names to collect ambients with homologous features, and exploits c...