3273 search results - page 635 / 655 » Structured Design of Microelectromechanical Systems |
MOBIHOC
2008
ACM
15 years 9 months ago
2008
ACM
In this paper, we identify a new problem in wireless sensor networks, distance sensitive service discovery, where nearby or closest service selection guarantee is expected. We pro...
81
Voted
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
POPL
2010
ACM
15 years 7 months ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
90
Voted
WWW
2010
ACM
15 years 4 months ago
2010
ACM
In online content voting networks, aggregate user activities (e.g., submitting and rating content) make high-quality content thrive through the unprecedented scale, high dynamics ...
CHI
2010
ACM
15 years 4 months ago
2010
ACM
Wireless Sensor Networks (WSNs) allow the monitoring of activity or environmental conditions over a large area, from homes to industrial plants, from agriculture fields to forest...