2496 search results - page 220 / 500 » On covering by translates of a set |
191
click to vote
COMSWARE
2008
IEEE
16 years 1 months ago
2008
IEEE
— We design a framework that implements security at the TCP layer to meet the necessity for a practical and truly end-to-end security solution. We call our framework TCPsec. TCPs...
174
click to vote
IROS
2006
IEEE
16 years 20 days ago
2006
IEEE
Abstract— We present a computational framework for automatic deployment of robots in 2D and 3D rectangular environments with polytopal obstacles. The results are derived for poly...
195
click to vote
DSRT
2005
IEEE
16 years 7 days ago
2005
IEEE
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...
135
click to vote
HICSS
2005
IEEE
16 years 7 days ago
2005
IEEE
Whenever message-oriented middleware is used within applications which run on heterogeneous software systems of multiple partners, and middleware protocols have to be replaced or ...
159
click to vote
INFOCOM
2005
IEEE
16 years 7 days ago
2005
IEEE
— This paper unifies two independently developed formalisms for path-vector routing protocols such as the Border Gateway Protocol (BGP), the standard inter-domain routing protoc...