966 search results - page 91 / 194 » Communicating Answer Set Programs |
135
Voted
SAT
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We continue a study initiated by Kraj´ıˇcek of a Resolutionlike proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Kra...
130
click to vote
MDM
2007
Springer
15 years 8 months ago
2007
Springer
This work tackles the problem of answer-aggregation for continuous spatio-temporal range queries in distributed settings. We assume a grid-like coverage of the spatial universe of...
147
click to vote
INFOCOM
2008
IEEE
15 years 9 months ago
2008
IEEE
—We consider a scenario in which users share an access point and are mainly interested in VoIP applications. Each user is allowed to adapt to varying network conditions by choosi...
147
Voted
ADHOCNOW
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Current in-network programming protocols for sensor networks allow an attacker to gain control of the network or disrupt its proper functionality by disseminating malicio...
132
Voted
IFIP
2010
Springer
14 years 9 months ago
2010
Springer
Abstract In this paper, we describe an automatic synthesis procedure that distributes synchronous programs on a set of desynchronized processing elements. Our distribution procedur...