402 search results - page 12 / 81 » Practical Application of Existing Hypermedia Standards and T... |
130
click to vote
BMCBI
2011
14 years 5 months ago
2011
Background: High-throughput re-sequencing, new genotyping technologies and the availability of reference genomes allow the extensive characterization of Single Nucleotide Polymorp...
ATVA
2010
Springer
15 years 11 days ago
2010
Springer
We present a trace-driven SMT-based symbolic debugging tool for MCAPI (Multicore Association Communication API) applications. MCAPI is a newly proposed standard that provides an AP...
PPOPP
2009
ACM
15 years 11 months ago
2009
ACM
Message Passing Interface (MPI) is a widely used standard for managing coarse-grained concurrency on distributed computers. Debugging parallel MPI applications, however, has alway...
IDTRUST
2010
ACM
15 years 6 months ago
2010
ACM
Public Key Infrastructure (PKI) security depends upon secure management and usage of trust anchors. Unfortunately, widely used mechanisms, management models and usage practices re...
106
click to vote
FLAIRS
2008
15 years 1 months ago
2008
Ontology alignment is regarded as one of the core tasks in many Web services. It is concerned with finding the correspondences between separate ontologies by identifying concepts ...