5122 search results - page 381 / 1025 » Comparing Consequence Relations |
292
click to vote
MDM
2010
Springer
15 years 11 months ago
2010
Springer
—The support of distributed atomic transactions in mobile ad-hoc networks (MANET) is a key requirement for many mobile application scenarios. Atomicity is a fundamental property ...
200
click to vote
EDBT
2009
ACM
15 years 11 months ago
2009
ACM
Text corpora are often enhanced by additional metadata which relate real-world entities, with each document in which such entities are discussed. Such relationships are typically ...
148
click to vote
VLDB
2001
ACM
15 years 11 months ago
2001
ACM
In recent years, due to the increasing popularization of data broadcasting, the volume and variety of data being broadcast are rapidly increasing. In this environment, as it is di...
176
click to vote
RTCSA
2000
IEEE
15 years 11 months ago
2000
IEEE
A number of industrial applications advocate the use of time-triggered approaches for reasons of predictability, distribution, and particular constraints such as jitter or end-to-...
235
Voted
TPHOL
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...