3368 search results - page 397 / 674 » The Complexity of Query Reliability |
232
Voted
SOSP
2007
ACM
16 years 4 months ago
2007
ACM
We propose a new paradigm for building scalable distributed systems. Our approach does not require dealing with message-passing protocols—a major complication in existing distri...
197
Voted
SBMF
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
209
Voted
COMPSAC
2008
IEEE
16 years 2 months ago
2008
IEEE
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...
207
Voted
ICPR
2008
IEEE
16 years 2 months ago
2008
IEEE
A mainstay in cancer diagnostics is the classification or grading of cell nuclei based on their appearance. While the analysis of cytological samples has been automated successful...
240
click to vote
WISE
2008
Springer
16 years 1 months ago
2008
Springer
Rich Internet Applications (RIAs) are quickly becoming the de facto standard for interactive web applications on the Internet, featuring rich interfaces that increase user usabilit...