8771 search results - page 237 / 1755 » Different by design |
157
click to vote
ACSD
2003
IEEE
16 years 8 hour ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
156
click to vote
SBACPAD
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we reevaluate the use of adaptive compressed caching to improve system performance through the reduction of accesses to the backing stores. We propose a new adaptab...
157
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—To respond to variations in solar energy, harvestedenergy prediction is essential to harvested-energy management approaches. The effectiveness of such approaches is depe...
165
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
We develop a method for generating smooth trajectories for a set of mobile robots. Given two end configurations, by tuning one parameter, the user can choose an interpolating tra...
176
click to vote
DOLAP
1999
ACM
15 years 11 months ago
1999
ACM
Modeling data warehouses is a complex task focusing, very often, into internal structures and implementation issues. In this paper we argue that, in order to accurately reflect the...