511 search results - page 85 / 103 » Spelling Correction Using Context |
186
click to vote
FORTE
2009
15 years 3 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
166
click to vote
EMSOFT
2010
Springer
15 years 3 months ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...
134
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: High-throughput measurement of transcript intensities using Affymetrix type oligonucleotide microarrays has produced a massive quantity of data during the last decade....
142
click to vote
STOC
2007
ACM
16 years 5 months ago
2007
ACM
This work is at the intersection of two lines of research. One line, initiated by Dinur and Nissim, investigates the price, in accuracy, of protecting privacy in a statistical dat...
144
click to vote
SIGCOMM
2009
ACM
15 years 11 months ago
2009
ACM
The threat of commoditization poses a real challenge for service providers. While the end-to-end principle is often paraphrased as “dumb network, smart end-systems”, the origi...