592 search results - page 72 / 119 » Can Component Service-Based Systems Be Proved Correct |
UM
2009
Springer
14 years 2 months ago
2009
Springer
Collaborative filtering (CF) techniques have proved to be a powerful and popular component of modern recommender systems. Common approaches such as user-based and item-based metho...
RSP
1999
IEEE
13 years 12 months ago
1999
IEEE
SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...
BMCBI
2006
13 years 7 months ago
2006
Background: We recently developed the Paired End diTag (PET) strategy for efficient characterization of mammalian transcriptomes and genomes. The paired end nature of short PET se...
ENTCS
2007
13 years 7 months ago
2007
Automated deduction methods should be specified not procedurally, but declaratively, as inference systems which are proved correct regardless of implementation details. Then, di...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...