4693 search results - page 286 / 939 » Verifying Hybrid Systems |
182
click to vote
ARCS
2009
Springer
16 years 1 months ago
2009
Springer
Resource management has been an area of research in ad hoc grids for many years. Recently, different research projects have focused resource management in centralized, decentralize...
180
click to vote
QSHINE
2005
IEEE
16 years 7 days ago
2005
IEEE
Service availability in wireless networks is highly dependent on efficient resource allocation and guaranteed Quality of Service (QoS) amid overloads and failures. This paper add...
158
click to vote
ADBIS
2004
Springer
16 years 2 days ago
2004
Springer
The need for Keyword search in databases is suggested both by Web integration with legacy database management system and by dynamic Web publication. However, it sacrifices the inh...
163
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper simultaneous localization and map building is performed with a hybrid, metric - topological, approach. A global topological map connects local metric maps, allowing ...
179
click to vote
ACMSE
2005
ACM
15 years 8 months ago
2005
ACM
Many networking researches depend on an accurate simulation of network traffic. For example, Intrusion Detection Systems generally require tuning to be effective in each new envir...