7080 search results - page 1227 / 1416 » Designing High Integrity Systems Using Aspects |
113
Voted
SIGCOMM
2010
ACM
15 years 3 months ago
2010
ACM
Given the abundance of cameras and LCDs in today's environment, there exists an untapped opportunity for using these devices for communication. Specifically, cameras can tune...
150
Voted
SASN
2006
ACM
15 years 9 months ago
2006
ACM
We present a novel outlier elimination technique designed for sensor networks. This technique is called RANBAR and it is based on the RANSAC (RANdom SAmple Consensus) paradigm, wh...
134
Voted
FTRTFT
1998
Springer
15 years 7 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
123
Voted
SIGSOFT
2006
ACM
16 years 4 months ago
2006
ACM
Property specifications concisely describe aspects of what a system is supposed to do. No matter what notation is used to describe them, however, it is difficult to represent thes...
122
click to vote
CHI
1994
ACM
15 years 7 months ago
1994
ACM
A user interface software tool helps developers design and implement the user interface. Research on past tools has had enormous impact on today's developers--virtually all a...