1036 search results - page 63 / 208 » Report on INEX 2009 |
147
click to vote
ICRA
2009
IEEE
16 years 29 days ago
2009
IEEE
— This paper presents an algorithmic framework for conducting search and identification missions using multiple heterogeneous agents. Dynamic objects of type “neutral” or ...
197
click to vote
ICSM
2009
IEEE
16 years 29 days ago
2009
IEEE
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...
164
click to vote
ICSM
2009
IEEE
16 years 29 days ago
2009
IEEE
To improve the ability of predicting the impact scope of a given change, we present two approaches applicable to the maintenance of object-oriented software systems. Our first ap...
148
click to vote
IEEEIAS
2009
IEEE
16 years 28 days ago
2009
IEEE
—It is a fact that vast majority of attention is given to protecting against external threats, which are considered more dangerous. However, some industrial surveys have indicate...
144
click to vote
IPPS
2009
IEEE
16 years 28 days ago
2009
IEEE
—Creating replicas of frequently accessed data objects across a read-intensive Content Delivery Network (CDN) can result in reduced user response time. Because CDNs often operate...