6274 search results - page 707 / 1255 » Proofs, Programs, Processes |
187
click to vote
ASIAN
2003
Springer
16 years 9 days ago
2003
Springer
Abstract. The concept of unreliable failure detectors for reliable distributed systems was introduced by Chandra and Toueg as a fine-grained means to add weak forms of synchrony i...
216
click to vote
ECBS
1999
IEEE
15 years 11 months ago
1999
IEEE
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...
202
click to vote
DIMEA
2008
15 years 8 months ago
2008
Motion2Sound is a program that translates motion properties into sound ones. This is done by using a motion detection system(Open Cv) and one can have as an input a live web-cam o...
176
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...
224
click to vote
PLDI
2010
ACM
16 years 4 months ago
2010
ACM
An ad hoc data format is any non-standard, semi-structured data format for which robust data processing tools are not available. In this paper, we present ANNE, a new kind of mark...