714 search results - page 143 / 143 » Verification and Compliance Testing |
ICRA
2009
IEEE
13 years 3 months ago
2009
IEEE
In a previous paper, we developed a robotic finger equipped with optical three-axis tactile sensors, of which the sensing cell can separately detect normal and shearing forces. Wit...
SIGSOFT
2010
ACM
13 years 5 days ago
2010
ACM
Although a number of automatic tools have been developed to detect faults, much of the diagnosis is still being done manually. To help with the diagnostic tasks, we formally intro...
TON
2010
13 years 3 days ago
2010
Dense deployments of WLANs suffer from increased interference and as a result, reduced capacity. There are three main functions used to improve the overall network capacity: a) in...
FMICS
2009
Springer
14 years 3 hour ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...