5 search results - page 1 / 1 » When Do We (Not) Need Complex Assume-Guarantee Rules |
DASFAA
2007
IEEE
13 years 11 months ago
2007
IEEE
In many data-publishing applications, the data owner needs to protect sensitive information pertaining to individuals. Meanwhile, certain information is required to be published. T...
NOMS
2008
IEEE
13 years 11 months ago
2008
IEEE
As the complexity of networked systems increases, we need mechanisms to automatically detect failures in the network and diagnose the cause of such failures. To realize true self-...
ECIR
2009
Springer
13 years 2 months ago
2009
Springer
Abstract. The structural heterogeneity and complexity of XML repositories makes query formulation challenging for users who have little knowledge of XML. To assist its users, an XM...
IMC
2007
ACM
13 years 6 months ago
2007
ACM
This work was motivated by a discussion that two of the coauthors (computer science professors) had with the other coauthor (a law professor and a former computer crime Trial Atto...
AI
1998
Springer
13 years 4 months ago
1998
Springer
This paper addresses the logical foundations of goal-regression planning in autonomous rational agents. It focuses mainly on three problems. The first is that goals and subgoals w...