10568 search results - page 1607 / 2114 » Computer Intelligence and Formalization |
166
click to vote
COLCOM
2005
IEEE
16 years 25 days ago
2005
IEEE
—Peer-to-Peer file sharing applications in the Internet, such as BitTorrent, Gnutella, etc., have been immensely popular. Prior research mainly focuses on peer and content discov...
184
click to vote
ECBS
2005
IEEE
16 years 25 days ago
2005
IEEE
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
200
click to vote
ICDE
2005
IEEE
16 years 25 days ago
2005
IEEE
Abstract— Logical reorganization of data and requirements of differentiated QoS in information systems necessitate bulk data migration by the underlying storage layer. Such data ...
207
click to vote
ICNP
2005
IEEE
16 years 24 days ago
2005
IEEE
The convergence time of the interdomain routing protocol, BGP, can last as long as 30 minutes [14,15]. Yet, routing behavior during BGP route convergence is poorly understood. BGP...
204
click to vote
ICRA
2005
IEEE
16 years 24 days ago
2005
IEEE
— In this paper, we consider the problem of robot motion planning in order to satisfy formulas expressible in temporal logics. Temporal logics naturally express traditional robot...