10797 search results - page 1997 / 2160 » Robust control applications |
143
click to vote
SPIN
2010
Springer
15 years 2 months ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
179
click to vote
SPIN
2010
Springer
15 years 2 months ago
2010
Springer
In the field of communication networks, protocol engineers usually employ several tools focused on specific kinds of analysis, such as performance or correctness. This paper pres...
143
Voted
SPRINGSIM
2010
15 years 2 months ago
2010
—Data Fusion (DF) process is in the interest of the military community since it provides the opportunity to achieve information superiority. The System Entity Structure (SES) is ...
154
click to vote
VTC
2010
IEEE
15 years 2 months ago
2010
IEEE
—Vehicular Ad-hoc NETworks (VANETs) adopting Dedicated Short-Range Communications (DSRCs) have emerged as a preferred choice of network design for the Intelligent Transportation ...
141
click to vote
WIAS
2010
15 years 2 months ago
2010
The rapid development of computer network technologies and social informationalization has brought many new opportunities and challenges in information security. With improved info...