48 search results - page 10 / 10 » Save-IDE - A tool for design, analysis and implementation of... |
PEPM
2007
ACM
13 years 11 months ago
2007
ACM
Program query languages and pattern-detection techniques are an essential part of program analysis and manipulation systems. Queries and patterns permit the identification of the...
SENSYS
2009
ACM
13 years 11 months ago
2009
ACM
Continuous and reliable operation of WSNs is notoriously difficult to guarantee due to hardware degradation and environmental changes. In this paper, we propose and demonstrate a ...
SOUPS
2006
ACM
13 years 10 months ago
2006
ACM
The usability of access control mechanisms in modern distributed systems has been widely criticized but little studied. In this paper, we carefully examine one such widely deploye...