586 search results - page 83 / 118 » Automated Reasoning on Aspects Interactions |
SIGSOFT
2003
ACM
14 years 8 months ago
2003
ACM
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...
TC
1997
13 years 9 months ago
1997
In this paper we describe a new approach to repairing violations of integrity constraints in databases with null values. By adopting basic concepts from model-based diagnosis, we ...
ICECCS
2009
IEEE
14 years 2 months ago
2009
IEEE
—The CONNECT European project that started in February 2009 aims at dropping the interoperability barrier faced by today’s distributed systems. It does so by adopting a revolut...
ECSQARU
2009
Springer
14 years 2 months ago
2009
Springer
This paper is about the fusion of multiple information sources represented using default logic. More precisely, the focus is on solving the problem that occurs when the standard-lo...
TARK
2009
Springer
14 years 2 months ago
2009
Springer
Halpern, Moses and Tuttle presented a definition of interactive proofs using a notion they called practical knowledge, but left open the question of finding an epistemic formula...