4693 search results - page 105 / 939 » Verifying Hybrid Systems |
85
Voted
ICDCS
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper studies the problem of updates in decentralised and self-organising P2P systems in which peers have low online probabilities and only local knowledge. The update strate...
119
Voted
EMSOFT
2005
Springer
15 years 6 months ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...
86
Voted
HICSS
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper1 provides a view of modeling the information dominance problem of military systems as representative of modeling other complex systems. The ideas are an extension of ea...
94
Voted
IM
1993
15 years 2 months ago
1993
A hybrid Expert System / Neural Network Traffic Advice system has been developed to aid traffic management in the Southern Californian telephone network. The system has been worki...
107
Voted
ISNN
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we propose a comparative study of Artificial Neural Networks (ANN) and Artificial Immune Systems. Artificial Immune Systems (AIS) represent a novel paradigm in the fi...