11200 search results - page 1593 / 2240 » An Object-oriented Optimization System |
174
click to vote
SP
2009
IEEE
16 years 1 months ago
2009
IEEE
We present two machine-checked proofs of the existential unforgeability under adaptive chosen-message attacks of the Full Domain Hash signature scheme. These proofs formalize the ...
200
click to vote
WECWIS
2009
IEEE
16 years 1 months ago
2009
IEEE
Complex Event Processing (CEP) systems are capable of processing large amounts of events, utilizing them to monitor, steer and optimize business in real time. The lack of tracking...
170
click to vote
P2P
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—This paper describes T-SIZE, a peer counting protocol that is based on gossip-based aggregation. Peer counting has become increasingly important as the size of the netwo...
173
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— A novel criterion is introduced for assessing the diversity of a collection of paths or trajectories. The main idea is the notion of survivability, which measures the likelihoo...
179
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this paper, the path following problem of an omnidirectional mobile robot has been studied. Given the error dynamic model derived from the robot state vector and the path st...