631 search results - page 13 / 127 » Deriving Specifications from Requirements: An Example |
101
click to vote
MODELS
2007
Springer
15 years 8 months 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
15 years 5 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...
87
Voted
ICML
2009
IEEE
16 years 2 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 ...
122
click to vote
FSEN
2007
Springer
15 years 5 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
15 years 2 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...