403 search results - page 32 / 81 » Integrating Z into Large Projects Tools and Techniques |
CCS
2007
ACM
15 years 6 months ago
2007
ACM
In this paper, we define and explore proofs of retrievability (PORs). A POR scheme enables an archive or back-up service (prover) to produce a concise proof that a user (verifier...
119
click to vote
TSC
2008
14 years 11 months ago
2008
Web services are considered to be a potential silver bullet for the envisioned Service Oriented Architecture, in which loosely coupled software components are published, located, a...
LREC
2010
15 years 1 months ago
2010
Annotation of digital recordings in humanities research still is, to a large extend, a process that is performed manually. This paper describes the first pattern recognition based...
121
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: Advances in sequencing and genotyping technologies are leading to the widespread availability of multi-species variation data, dense genotype data and large-scale rese...
123
click to vote
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
This article proposes a research agenda aimed at enabling optimized testing and analysis processes and tools to support component-based software development communities. We hypoth...