631 search results - page 13 / 127 » Deriving Specifications from Requirements: An Example |
MODELS
2007
Springer
14 years 26 days ago
2007
Springer
The rising adoption and incorporation of computers into everyday life requires human-computer interaction methods to be efficient and easy to understand. Simultaneously, complexit...
ATAL
2006
Springer
13 years 10 months ago
2006
Springer
The effective reasoning capability of an agent can be defined as its capability to infer, within a given space and time bound, facts that are logical consequences of its knowledge...
ICML
2009
IEEE
14 years 7 months ago
2009
IEEE
In many real-world applications, such as image retrieval, it would be natural to measure the distances from one instance to others using instance specific distance which captures ...
FSEN
2007
Springer
13 years 10 months ago
2007
Springer
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulae. Test cases are modeled as ground formulae and any spe...
BMCBI
2010
13 years 6 months ago
2010
Background: Enzymes belonging to acyl:CoA synthetase (ACS) superfamily activate wide variety of substrates and play major role in increasing the structural and functional diversit...