2137 search results - page 194 / 428 » Proving Abstract Non-interference |
106
click to vote
DCOSS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Many sensor network applications demand tightly-bounded object detection quality. To meet such stringent requirements, we develop three sensing scheduling protocols to gu...
125
click to vote
DEXA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The development of scalable parallel database systems requires the design of efficient algorithms for the join operation which is the most frequent and expensive operatio...
113
click to vote
DNA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Motivated by recent techniques developed for observing evolutionary dynamics of a single DNA molecule, we introduce a formal model for accepting an observed behavior of a...
118
click to vote
ECSQARU
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Preferences and uncertainty occur in many real-life problems. The theory of possibility is one non-probabilistic way of dealing with uncertainty, which allows for easy in...
147
Voted
ESA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We provide new tools, such as k-troikas and good subtreerepresentations, that allow us to give fast and simple algorithms computing branchwidth. We show that a graph G ha...