4693 search results - page 735 / 939 » Verifying Hybrid Systems |
146
click to vote
ICICS
2005
Springer
15 years 11 months ago
2005
Springer
Modeling and analysis of information system vulnerabilities helps us to predict possible attacks to networks using the network configuration and vulnerabilities information. As a f...
168
click to vote
AMDO
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper new results are presented for tracking complex multi-body objects. The theoretical framework is based on robotics techniques and uses an a-priori model of t...
141
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
Verifying the published results of algorithms is part of the usual research process. This helps to both validate the existing literature, but also quite often allows for new insigh...
140
click to vote
ICT
2004
Springer
15 years 11 months ago
2004
Springer
The Resilient Packet Ring IEEE 802.17 is an evolving standard for the construction of Local and Metropolitan Area Networks. The RPR protocol scales to the demands of future packet ...
171
click to vote
TACAS
2004
Springer
15 years 11 months ago
2004
Springer
Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We ...