626 search results - page 106 / 126 » When Can Formal Methods Make a Real Difference |
218
Voted
SIGMOD
2009
ACM
16 years 3 months ago
2009
ACM
Conditional functional dependencies (CFDs) have recently been proposed as extensions of classical functional dependencies that apply to a certain subset of the relation, as specif...
125
Voted
CCGRID
2009
IEEE
15 years 10 months ago
2009
IEEE
—In order to meet the increasing demands of present and upcoming data-intensive computer applications, there has been a major shift in the disk subsystem, which now consists of m...
109
click to vote
PRIMA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper, we present a protocol for collaborative translation, where two non-bilingual people who use different languages collaborate to perform the task of transla...
152
Voted
IFIP12
2009
15 years 1 months ago
2009
Abstract Early failure detection in motor pumps is an important issue in prediction maintenance. An efficient condition-monitoring scheme is capable of providing warning and predic...
101
Voted
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
— Epidemic worms has become a social problem owing to their potency in paralyzing the Internet, thus affecting our way of life. Recent researches have pointed out that epidemic w...