518 search results - page 82 / 104 » Specification, Implementation, and Validation of Object-Orie... |
135
Voted
SAC
2011
ACM
14 years 6 months ago
2011
ACM
Quadrotor helicopters are micro air vehicles with vertical take-off and landing capabilities controlled by varying the rotation speed of four fixed pitch propellers. Due to their...
131
Voted
IPSN
2007
Springer
15 years 9 months ago
2007
Springer
Many sensor nodes contain resource constrained microcontrollers where user level applications, operating system components, and device drivers share a single address space with no...
139
Voted
HICSS
2002
IEEE
15 years 8 months ago
2002
IEEE
A project to enable health care professionals (GPs, practice nurses and diabetes nurse specialists) to access, via the Internet, confidential patient data held on a secondary care...
127
Voted
SIGCOMM
2010
ACM
15 years 3 months ago
2010
ACM
As smartphones evolve researchers are studying new techniques to ease the human-mobile interaction. We propose EyePhone, a novel "hand-free" interfacing system capable o...
279
Voted
PLDI
2009
ACM
16 years 4 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....