1133 search results - page 119 / 227 » Local Logics for Traces |
168
click to vote
DALT
2004
Springer
15 years 11 months ago
2004
Springer
Declarative modelling approaches in principle assume a notion of representation or representational content for the modelling concepts. The notion of representational content as di...
175
click to vote
ESTIMEDIA
2004
Springer
15 years 11 months ago
2004
Springer
We present an evaluation strategy for clock synchronization algorithms. It is based on a combination of measured traces, which provide for realistic performance estimation, and of...
156
click to vote
INFOCOM
2000
IEEE
15 years 10 months ago
2000
IEEE
—Transport of real-time voice traffic on the Internet is difficult due to packet loss and jitter. Packet loss is handled primarily through a variety of different forward error ...
208
click to vote
PODC
2000
ACM
15 years 10 months ago
2000
ACM
Distributed programs are hard to write. A distributed debugger equipped with the mechanism to re-execute the traced computation in a controlled fashion can greatly facilitate the ...
166
click to vote
ICRA
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper we consider the detection of small surface features, such as ridges and bumps, on the surface of an object during dextrous manipulation. First we review the represen...