1124 search results - page 56 / 225 » Refined quorum systems |
172
click to vote
FLOPS
2008
Springer
15 years 7 months ago
2008
Springer
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...
140
click to vote
ACL
2008
15 years 7 months ago
2008
We apply the hypothesis of "One Sense Per Discourse" (Yarowsky, 1995) to information extraction (IE), and extend the scope of "discourse" from one single docum...
156
click to vote
FAC
2008
15 years 6 months ago
2008
This paper explains how the Alloy model-finding method has been used to check the specification of an electronic purse (also called smart card) system, called the Mondex case study...
149
click to vote
CIDU
2010
15 years 4 months ago
2010
Mathematical models of physical phenomena are of critical importance in virtually all applications of science and technology. This paper addresses the problem of how to use data to...
160
click to vote
JPDC
2006
15 years 6 months ago
2006
The problem of task assignment in heterogeneous computing systems has been studied for many years with many variations. We consider the version in which communicating tasks are to...