5639 search results - page 456 / 1128 » Timed Abstract Non-interference |
118
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We study the succinctness of the complement and intersection of regular expressions. In particular, we show that when constructing a regular expression defining the compl...
181
click to vote
IEICET
2008
15 years 4 months ago
2008
Abstract--Vehicular ad hoc networks (VANET) aims to enhance vehicle navigation safety by providing an early warning system: any chance of accidents is informed through the wireless...
153
click to vote
JUCS
2008
15 years 4 months ago
2008
Abstract: Adaptive behavior and learning are required of software agents in many application domains. At the same time agents are often supposed to be resource-bounded systems, whi...
154
click to vote
JSAC
2006
15 years 4 months ago
2006
Abstract--Packet matching plays a critical role in the performance of many network devices and a tremendous amount of research has already been invested to come up with better opti...
162
click to vote
JSAC
2006
15 years 4 months ago
2006
Abstract--This paper presents an end-to-end reservation protocol for quality-of-service (QoS) support in the medium access control layer of wireless multihop mesh networks. It rese...