4348 search results - page 121 / 870 » Using UML for Modeling Complex Real-Time Systems |
138
click to vote
ASIASIM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Network security simulator is required for the study on the cyber intrusion and defense as cyber terrors have been increasingly popular. Until now, network security simul...
112
click to vote
ISORC
2006
IEEE
15 years 8 months ago
2006
IEEE
Many prior approaches in UML-based embedded software design incorporate state-based behavior modeling. However, interaction-based behavior modeling provides more intuitive view of...
SEKE
2004
Springer
15 years 7 months ago
2004
Springer
In this work, we present an application of the Fuzzy Logic in the field of prediction in Software Engineering. We specifically use the Fuzzy Prototypical Knowledge Discovery for ch...
107
click to vote
EDO
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We demonstratehow the use of synchronizationprimitives and threading policies in distributed object middleware can lead to deadlocks. We identify that objectmiddleware on...
100
click to vote
FM
2009
Springer
15 years 9 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...