437 search results - page 84 / 88 » A Complete Temporal and Spatial Logic for Distributed System... |
156
Voted
TLDI
2005
ACM
15 years 9 months ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
148
Voted
SCP
2010
15 years 2 months ago
2010
The SPIN model checker and its speciļ¬cation language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
147
Voted
MOBICOM
2004
ACM
15 years 9 months ago
2004
ACM
A new modeling framework is introduced for the analytical study of medium access control (MAC) protocols operating in multihop ad hoc networks. The model takes into account the eļ...
167
Voted
CIKM
2010
Springer
15 years 1 months ago
2010
Springer
Schema merging is the process of consolidating multiple schemas into a unified view. The task becomes particularly challenging when the schemas are highly heterogeneous and autono...
175
Voted
MIR
2006
ACM
15 years 9 months ago
2006
ACM
We describe a framework for automatically selecting a summary set of photos from a large collection of geo-referenced photographs. Such large collections are inherently diļ¬cult ...