40 search results - page 1 / 8 » It's All about the Support: A New Perspective on the Satisfi... |
JSAT
2007
13 years 6 months ago
2007
CSE
2009
IEEE
14 years 1 months ago
2009
IEEE
Recent research identifies a growing privacy problem that exists within Online Social Networks (OSNs). Several studies have shown how easily strangers can extract personal data a...
COORDINATION
2004
Springer
13 years 11 months ago
2004
Springer
This paper presents Limone, a new coordination model that facilitates rapid application development over ad hoc networks consisting of logically mobile agents and physically mobile...
SIGSOFT
2006
ACM
14 years 7 months ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
NMR
2004
Springer
13 years 11 months ago
2004
Springer
One of the crucial actions any reasoning system must undertake is the updating of its Knowledge Base (KB). This problem is usually referred to as the problem of belief change. The...