10916 search results - page 2078 / 2184 » On Constructive Connectives and Systems |
169
click to vote
SSDBM
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper introduces a framework for Phenomena Detection and Tracking (PDT, for short) in sensor network databases. Examples of detectable phenomena include the propagation over ...
200
click to vote
SIGECOM
2005
ACM
15 years 12 months ago
2005
ACM
We introduce a new class of games, congestion games with failures (CGFs), which extends the class of congestion games to allow for facility failures. In a basic CGF (BCGF) agents ...
175
click to vote
VEE
2005
ACM
15 years 12 months ago
2005
ACM
Modern transactional response-time sensitive applications have run into practical limits on the size of garbage collected heaps. The heap can only grow until GC pauses exceed the ...
151
click to vote
AE
2005
Springer
15 years 12 months ago
2005
Springer
Ligation is a form of chemical self-assembly that involves dynamic formation of strong covalent bonds in the presence of weak associative forces. We study an extremely simple form ...
216
click to vote
CAV
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...