7109 search results - page 1210 / 1422 » Process Algebra with Combinators |
150
click to vote
KI
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper presents a method for engineering and programming multirobot systems, based on a combination of statecharts and hybrid automata, which are well-known in the fi...
197
click to vote
MCS
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we propose a numerical method for approximating the product of a matrix function with multiple vectors by Krylov subspace methods combined with a QR decomposition of...
146
click to vote
JSAC
2006
15 years 6 months ago
2006
Abstract--We present a novel approach for joint optical network provisioning and Internet protocol (IP) traffic engineering, in which the IP and optical networks collaboratively op...
134
click to vote
JSAC
2006
15 years 6 months ago
2006
We propose an ultra-wideband (UWB) scheme that employs chirp waveforms. Signals satisfying the Federal Communications Commission (FCC) requirements for UWB applications are formed ...
173
click to vote
JSAC
2006
15 years 6 months ago
2006
We focus on detecting intrusions in ad hoc networks using the misuse detection technique. We allow for detection modules that periodically stop functioning due to operational failu...