4957 search results - page 740 / 992 » Simplifying Distributed System Development |
188
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...
230
Voted
BMCBI
2010
15 years 7 months ago
2010
Background: There is an increasing demand to assemble and align large-scale biological sequence data sets. The commonly used multiple sequence alignment programs are still limited...
211
click to vote
IMC
2006
ACM
16 years 1 months ago
2006
ACM
This paper addresses the difficult problem of selecting representative samples of peer properties (e.g., degree, link bandwidth, number of files shared) in unstructured peer-to-p...
224
click to vote
SACMAT
2010
ACM
15 years 12 months ago
2010
ACM
We propose a new approach for applying Role-Based Access Control (RBAC) to methods in objects in the Java programming language. In our approach, a policy implementer (usually a de...
247
click to vote
DOLAP
2010
ACM
15 years 5 months ago
2010
ACM
Inter-business collaborative contexts prefigure a distributed scenario where companies organize and coordinate themselves to develop common and shared opportunities. Traditional b...