1888 search results - page 263 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
128
click to vote
SRDS
2003
IEEE
15 years 10 months ago
2003
IEEE
Group communication protocols constitute a basic building block for highly dependable distributed applications. Designing and correctly implementing a group communication system (...
149
click to vote
SIGOPS
2010
15 years 3 months ago
2010
Despite advances in the application of automated statistical and machine learning techniques to system log and trace data there will always be a need for human analysis of machine...
200
click to vote
KDD
2010
ACM
15 years 2 months ago
2010
ACM
The dynamic marketplace in online advertising calls for ranking systems that are optimized to consistently promote and capitalize better performing ads. The streaming nature of on...
159
click to vote
KDD
2009
ACM
16 years 5 months ago
2009
ACM
Classifying nodes in networks is a task with a wide range of applications. It can be particularly useful in anomaly and fraud detection. Many resources are invested in the task of...
164
click to vote
SAC
2009
ACM
15 years 9 months ago
2009
ACM
This paper presents a novel software engineering approach for developing a dynamic web interface that meets the quality criterion of “WYDIWYS” - What You Do Is What You See. T...