4693 search results - page 163 / 939 » Verifying Hybrid Systems |
ICEIS
2005
IEEE
15 years 10 months ago
2005
IEEE
ECRTS
2002
IEEE
15 years 10 months ago
2002
IEEE
154
click to vote
ISPW
2006
IEEE
15 years 11 months ago
2006
IEEE
The spiral lifecycle is being extended to address new challenges for Software-Intensive Systems of Systems (SISOS), such as coping with rapid change while simultaneously assuring h...
138
click to vote
HAIS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Accurate and swift responses are crucial to Intrusion Detection Systems (IDSs), especially if automatic abortion mechanisms are running. In keeping with this idea, this w...