5630 search results - page 91 / 1126 » Computability in Specification |
134
click to vote
KI
2007
Springer
15 years 3 months ago
2007
Springer
Detecting unknown worms is a challenging task. Extant solutions, such as anti-virus tools, rely mainly on prior explicit knowledge of specific worm signatures. As a result, after t...
217
click to vote
BVAI
2007
Springer
15 years 10 months ago
2007
Springer
We tested the efficiency of category learning when participants are provided only with pairs of objects, known to belong either to the same class (Positive Equivalence Constraints ...
132
click to vote
MAM
2006
15 years 3 months ago
2006
This paper presents a new design methodology able to bridge the gap between an abstract specification and a heterogeneous recone architecture. The EPICURE contribution is the resu...
120
click to vote
EDOC
2006
IEEE
15 years 10 months ago
2006
IEEE
The RM-ODP standard still provides the only comprehensive and coherent framework of concepts for the specification of complex large scale IT systems, and has taken on a new signif...
147
click to vote
FTDCS
1997
IEEE
15 years 8 months ago
1997
IEEE
: This paper discusses the issues and promising approaches in (1) obtaining rigorous specifications of the quality-of-service (QoS) requirements associated with application functio...