20 search results - page 3 / 4 » Another Look at Complementation Properties |
MOBIDE
1999
ACM
13 years 10 months ago
1999
ACM
Mobile applications increasingly require transaction-like properties, particularly those of recovery. Because there is a lack of abstractions to decompose the machinery of recover...
ICSE
2000
IEEE-ACM
13 years 10 months ago
2000
IEEE-ACM
Explicitly stated program invariants can help programmers by characterizing certain aspects of program execution and identifying program properties that must be preserved when mod...
INFOCOM
2011
IEEE
12 years 10 months ago
2011
IEEE
—In this paper we address the problem of scalable and load balanced routing for wireless sensor networks. Motivated by the analog of the continuous setting that geodesic routing ...
RECOMB
2010
Springer
13 years 8 months ago
2010
Springer
In this work we consider an inference task that biologists are very good at: deciphering biological processes by bringing together knowledge that has been obtained by experiments u...
SIGMOD
2006
ACM
14 years 6 months ago
2006
ACM
Text is ubiquitous and, not surprisingly, many important applications rely on textual data for a variety of tasks. As a notable example, information extraction applications derive...