400 search results - page 36 / 80 » Moving Proofs-As-Programs into Practice |
IWCMC
2009
ACM
14 years 2 months ago
2009
ACM
Wireless Mesh Networks (WMNs) are gaining popularity as a flexible and inexpensive replacement for Ethernet-based infrastructure. However, WMN security has not been covered adequ...
VRST
2009
ACM
14 years 2 months ago
2009
ACM
We propose a novel wearable imaging system that can capture omnidirectional movies from the viewpoint of the camera wearer. The imaging system solves the problems of resolution un...
AGILEDC
2008
IEEE
14 years 2 months ago
2008
IEEE
Scrum was designed to achieve a hyperproductive state where productivity increases 5-10 times over industry averages and many collocated teams have achieved this effect. The quest...
ICRA
2008
IEEE
14 years 2 months ago
2008
IEEE
— We describe a method for an autonomous robot to efficiently locate one or more distinct objects in a realistic environment using monocular vision. We demonstrate how to effic...
ISCC
2008
IEEE
14 years 2 months ago
2008
IEEE
With MBMS, a mobile Terminal (MT) that is on the move and receive an MBMS service may have to handover from a Common to a Dedicated Channel when crossing the cell’s edge. In pre...