4762 search results - page 652 / 953 » About the use of protein models |
NDSS
2009
IEEE
15 years 8 months ago
2009
IEEE
We introduce a new paradigm for outsourcing the durability property of a multi-client transactional database to an untrusted service provider. Specifically, we enable untrusted s...
110
click to vote
ISPW
2009
IEEE
15 years 8 months ago
2009
IEEE
: Software qualities are in many cases tacit and hard to measure. Thus, there is a potential risk that they get lower priority than deadlines, cost and functionality. This paper pr...
109
Voted
FSTTCS
2009
Springer
15 years 8 months ago
2009
Springer
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running sys...
85
Voted
PET
2009
Springer
15 years 8 months ago
2009
Springer
Delivery of products bought online can violate consumers’ privacy, although not in a straightforward way. In particular, delivery companies that have contracted with a website kn...
110
click to vote
CRV
2008
IEEE
15 years 8 months ago
2008
IEEE
Recent advancements in laser and visible light sensor technology allows for the collection of photorealistic 3D scans of large scale spaces. This enables the technology to be used...