3801 search results - page 562 / 761 » An Approach to Modeling Software Safety |
181
click to vote
DIAGRAMS
2004
Springer
15 years 10 months ago
2004
Springer
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development ...
176
click to vote
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
We propose a new approach to verification of probabilistic processes for which the model may not be available. We use a technique from Reinforcement Learning to approximate how far...
156
click to vote
ISN
2000
Springer
15 years 10 months ago
2000
Springer
The growth of commercial activities across networks has led to the network itself becoming a competitive marketplace with a multitude of vendors, operators and customers. In such a...
210
click to vote
SOFT
2000
15 years 10 months ago
2000
In meeting the challenges that resulted from the explosion of collected, stored, and transferred data, Knowledge Discovery in Databases or Data Mining has emerged as a new research...
180
click to vote
EVOW
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. This paper deals with the mapping of the parallel islandbased genetic algorithm with unidirectional ring migrations to nVidia CUDA software model. The proposed mapping is...