13987 search results - page 517 / 2798 » The Two Guards Problem |
211
click to vote
ACOM
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. In this paper, we identify some problems with current formalizations of conditional commitments, i.e. commitments to achieve a goal if some condition becomes true. We pre...
209
click to vote
COCOON
2005
Springer
16 years 19 days ago
2005
Springer
For a bounded integer , we wish to color all edges of a graph G so that any two edges within distance have different colors. Such a coloring is called a distance-edge-coloring or ...
163
click to vote
FPL
2005
Springer
16 years 19 days ago
2005
Springer
The paper analyses and compares alternative iterative and recursive implementations of FPGA circuits for various problems. Two types of recursive calls have been examined, namely ...
170
click to vote
ICDT
2005
ACM
16 years 19 days ago
2005
ACM
The traditional way of representing motion in 3D space-time uses a trajectory, i.e. a sequence of (x,y,t) points. Such a trajectory may be produced by periodic sampling of a Global...
199
click to vote
LPAR
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. Many security protocols fundamentally depend on the algebraic properties of cryptographic operators. It is however difficult to handle these properties when formally anal...