3928 search results - page 153 / 786 » order 2006 |
129
click to vote
IJNSEC
2007
15 years 4 months ago
2007
In this paper, we argue that heterogeneity should be an important principle in design and use of cryptographic protocols. We use automated formal analysis tools to randomly genera...
132
click to vote
CAD
2006
Springer
15 years 4 months ago
2006
Springer
This paper compares two techniques for the approximation of the offsets to a given planar curve. The two methods are based on approximate conversion of the planar curve into circu...
117
click to vote
AH
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In this paper, we describe the design and development of personal information assistant (PIA), a system aiming to meet individual needs of the searchers. The system'...
130
click to vote
ECCV
2006
Springer
15 years 8 months ago
2006
Springer
When a manipulator interacts with objects with poorly damped oscillatory modes, undesired oscillations and bouncing may result. In this paper, we present a method for observer-base...
155
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
In the context of SLA based job scheduling for high performance grid computing, this paper investigates the behaviour of various scheduling heuristics to schedule SLA-bounded jobs...