1057 search results - page 90 / 212 » Testing from Formal Specifications, a Generic Approach |
AIME
2009
Springer
14 years 2 months ago
2009
Springer
We use the concept of conditional mutual information (MI) to approach problems involving the selection of variables in the area of medical diagnosis. Computing MI requires estimate...
CBSE
2011
Springer
12 years 10 months ago
2011
Springer
Software components are increasingly assembled from other components. Each component may further depend on others, and each may have multiple active versions. The total number of ...
FLAIRS
2009
13 years 8 months ago
2009
Researchers in commonsense, qualitative spatial and temporal reasoning (QSTR) provide flexible and intuitive methods for reasoning about vague and uncertain information including ...
ICST
2011
IEEE
13 years 1 months ago
2011
IEEE
User input validation is a technique to counter attacks on web applications. In typical client-server architectures, this validation is performed on the client side. This is ineff...
SIMULATION
2011
13 years 5 months ago
2011
From a modelling and simulation perspective, studying dynamic systems consists of focusing on changes in states. According to the precision of state changes, generic algorithms ca...