731 search results - page 87 / 147 » Specification Matching of Software Components |
104
click to vote
TREC
2000
14 years 11 months ago
2000
The main goal for the Information Space system for TREC9 was early precision. To facilitate this, an emphasis was placed on seeking matches from only the TITLE, H1, H2 and H3 tags...
102
click to vote
FUIN
2006
14 years 9 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
CEC
2010
IEEE
14 years 11 months ago
2010
IEEE
Embodying robot morphologies evolved in simulation can present serious problems for an engineer when translating simplified simulated mechanisms into working devices, often drawing...
IFIP
2007
Springer
15 years 4 months ago
2007
Springer
Process control systems (PCSs) are instrumental to the safe, reliable and efficient operation of many critical infrastructure components. However, PCSs increasingly employ commodit...
ESWA
2006
14 years 9 months ago
2006
A crucial concern in the evaluation of evidence related to a major crime is the formulation of sufficient alternative plausible scenarios that can explain the available evidence. ...