17082 search results - page 269 / 3417 » Abstractions for Mobile Computation |
116
click to vote
SEC
2001
15 years 5 months ago
2001
Abstract When people want to schedule a meeting, their agendas must be compared to find a time suitable for all participants. At the same time, people want to keep their agendas pr...
133
click to vote
GI
2008
Springer
15 years 5 months ago
2008
Springer
Abstract: In this paper, we describe a prototype of an adaptive indoor navigation system which is based on mobile devices and navigates visually impaired people through an unknown ...
128
Voted
EUROPAR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Optimistic replication is a fundamental technique for supporting collaborative work practices in mobile environments. However, eventual consistency, in contrast to immedi...
192
click to vote
META
1992
15 years 8 months ago
1992
ract Interpretation of Logic Programs Maurice Bruynooghe and Gerda :Ianssens Department of Computer Science, Katholleke Universiteit Leuven Celestijnenlaan 200A, B-3001 Heverlee, B...
147
click to vote
TCAD
2008
15 years 3 months ago
2008
el Predicate Abstraction and Refinement Techniques for Verifying RTL Verilog Himanshu Jain, Daniel Kroening, Natasha Sharygina, and Edmund M. Clarke, Fellow, IEEE As a first step, ...