9110 search results - page 1497 / 1822 » Formally-Based Design Evaluation |
166
click to vote
JEI
2008
15 years 6 months ago
2008
Defect detection in images is a current task in quality control and is often integrated in partially or fully automated systems. Assessing the performances of defect detection algo...
163
click to vote
PE
2007
Springer
15 years 6 months ago
2007
Springer
This paper develops time-based rejuvenation policies to improve the performability measures of a cluster system. Three rejuvenation policies, namely standard rejuvenation, delayed...
222
click to vote
PRESENCE
2007
15 years 6 months ago
2007
We describe a methodology for Virtual Reality designers to capture and resynthesize the variations in sound made by objects when we interact with them through contact such as touc...
174
click to vote
PUC
2007
15 years 6 months ago
2007
Awareness systems have attracted significant research interest for their potential to support interpersonal relationships. Investigations of awareness systems for the domestic env...
334
click to vote
PUC
2008
15 years 6 months ago
2008
Abstract Mobile computing systems should be selfmanaged to simplify operation and maintenance plus meet user's expectation with respect to Quality of Service (QoS). When archi...