900 search results - page 99 / 180 » A Tool-Supported Approach to Testing UML Design Models |
173
Voted
ICFEM
2003
Springer
15 years 9 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
128
Voted
NN
2008
Springer
15 years 3 months ago
2008
Springer
Optimally designing the location of training input points (active learning) and choosing the best model (model selection) are two important components of supervised learning and h...
95
Voted
IADIS
2003
15 years 5 months ago
2003
Experience in preparing Web content for people with visual disabilities shows that automatic testing of accessibility is clearly insufficient to meet real-world demands, and that ...
122
Voted
NOMS
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—The security mechanisms employed in current networked environments are increasingly complex, and their configuration management has an important role for the protection...
140
Voted
IJAIT
2000
15 years 3 months ago
2000
Knowledge-based engineering and computational intelligence are expected to become core technologies in the design and manufacturing for the next generation of space exploration mi...