3733 search results - page 115 / 747 » Logics of communication and change |
PODC
2010
ACM
15 years 5 months ago
2010
ACM
We study the problem of clock synchronization in highly dynamic networks, where communication links can appear or disappear at any time. The nodes in the network are equipped with...
120
click to vote
EON
2008
15 years 2 months ago
2008
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...
118
click to vote
AAAI
1990
15 years 2 months ago
1990
This paper provides an account of the representation of defaults in Cyc and their semantics in terms of first order logic with reification. Default reasoning is a complex thing, a...
96
Voted
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
Recent work on Differential Power Analysis shows that even mathematically-secure cryptographic protocols may be vulnerable at the physical implementation level. By measuring energ...
113
click to vote
DAC
1996
ACM
15 years 5 months ago
1996
ACM
We propose a low-overhead scan design methodology which employs a new test point insertion technique to establish scan paths through the functional logic. The technique re-uses th...