5638 search results - page 235 / 1128 » On presence |
171
click to vote
LPNMR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a logic programming based conditional planner that is capable of generating both conditional and sequential conformant plans in the presence of sensing actions...
177
click to vote
NMR
2004
Springer
15 years 12 months ago
2004
Springer
In this paper, we propose a survey of the use of bipolarity in argumentation frameworks, i.e. the presence of two kinds of entities (a positive entity and a negative entity). An a...
181
click to vote
PERVASIVE
2004
Springer
15 years 12 months ago
2004
Springer
We propose a novel solution for securing wireless ad-hoc networks. Our goal is to provide secure key exchange in the presence of device failures and denial-of-service attacks. The ...
173
click to vote
SAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
165
click to vote
WWIC
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we investigate the problem of maintaining connectivity under jamming in multihop ad hoc wireless networks. Connectivity is measured using a connectivity index, which ...