8555 search results - page 1556 / 1711 » Property Based Coordination |
174
click to vote
ISSTA
2009
ACM
16 years 14 days ago
2009
ACM
Metamorphic testing has been shown to be a simple yet effective technique in addressing the quality assurance of applications that do not have test oracles, i.e., for which it is ...
180
click to vote
SIGIR
2009
ACM
16 years 14 days ago
2009
ACM
With the continuing advances in data storage and communication technology, there has been an explosive growth of music information from different application domains. As an effe...
172
click to vote
SYSTOR
2009
ACM
16 years 13 days ago
2009
ACM
A typical storage hierarchy comprises of components with varying performance and cost characteristics, providing multiple options for data placement. We propose and evaluate a hie...
154
click to vote
ICRA
2008
IEEE
16 years 11 days ago
2008
IEEE
Abstract— Active cannulas are remotely actuated thin continuum robots with the potential to traverse narrow and winding environments without relying on “guiding” environmenta...
144
click to vote
INFOCOM
2008
IEEE
16 years 11 days ago
2008
IEEE
—We report that human walks performed in outdoor settings of tens of kilometers resemble a truncated form of Levy walks commonly observed in animals such as monkeys, birds and ja...