1791 search results - page 306 / 359 » Using Open Hypermedia to Support Information Integration |
BMCBI
2008
13 years 8 months ago
2008
To address the challenges of information integration and retrieval, the computational genomics community increasingly has come to rely on the methodology of creating annotations o...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
We investigate relationships among software quality measures commonly used to assess the value of a technology, and several aspects of customer perceived quality measured by Inter...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
In October 2004 the University of Lugano in southern Switzerland established a new faculty of informatics. Its founding principles are innovation in teaching and faculty participa...
ICFP
2002
ACM
14 years 8 months ago
2002
ACM
Packrat parsing is a novel technique for implementing parsers in a lazy functional programming language. A packrat parser provides the power and flexibility of top-down parsing wi...
KBSE
2009
IEEE
14 years 2 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...