3831 search results - page 122 / 767 » Dynamic Context Logic |
149
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
— In this paper we present the Secure Dynamic Source Routing protocol for Mobile Ad hoc Networks that prevents a lot of potential attacks to these kind of networks. We also prese...
140
click to vote
AAAI
1996
15 years 5 months ago
1996
Conditional logics play an important role in recent attempts to investigate default reasoning. This paper investigates firstorder conditional logic. We show that, as for first-ord...
120
Voted
DALT
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper presents a complete temporal STIT logic for reasoning about multi-agency. I discuss its application for reasoning about norms, knowledge, autonomy, and other m...
121
click to vote
ICDCSW
2003
IEEE
15 years 9 months ago
2003
IEEE
— The rendering mechanism used in Web browsers have a significant impact on the user behavior and delay tolerance of retrieval. The head-of-line blocking phenomena prevents the ...
136
click to vote
MFCS
1998
Springer
15 years 8 months ago
1998
Springer
It is known that a language is context-free iff it is the set of borders of the trees of recognizable set, where the border of a (labelled) tree is the word consisting of its leaf ...