1615 search results - page 159 / 323 » Distributed Forward Checking |
118
Voted
CADE
2009
Springer
15 years 9 months ago
2009
Springer
SPASS is an automated theorem prover for full first-order logic with equality and a number of non-classical logics. This system description provides an overview of our recent deve...
109
Voted
RSP
2009
IEEE
15 years 9 months ago
2009
IEEE
Aspect-oriented mechanisms have been widely exploited at the programming-level. Nevertheless, little has been achieved at the architectural level, and this despite the potential b...
125
Voted
SSS
2009
Springer
15 years 9 months ago
2009
Springer
Real-time performance is critical for many time-sensitive applications of wireless sensor networks. We present a constrained flooding protocol, called CFlood that enhances the dea...
116
click to vote
BROADNETS
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— Encounter-based network is a frequentlydisconnected wireless ad-hoc network requiring immediate neighbors to store and forward aggregated data for information dissemina...
116
Voted
CCGRID
2007
IEEE
15 years 9 months ago
2007
IEEE
Grid applications need efficient access to information about available resources and services. Typically, this access is provided by information services that are often organized ...