9267 search results - page 1710 / 1854 » Expectation-Oriented Analysis and Design |
155
click to vote
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
d Abstract) Bruno Blanchet∗ § Patrick Cousot§ Radhia Cousot∗¶ J´erˆome Feret§ Laurent Mauborgne§ Antoine Min´e§ David Monniaux∗§ Xavier Rival§ that abstract inter...
162
click to vote
SENSYS
2003
ACM
15 years 11 months ago
2003
ACM
In this paper we examine the role of very simple and noisy sensors for the tracking problem. We propose a binary sensor model, where each sensor’s value is converted reliably to...
151
click to vote
SIGDOC
2003
ACM
15 years 11 months ago
2003
ACM
In this paper, I discuss how we made single-sourcing work at Juniper Networks. This is a practical discussion of issues, problems, and successes. Categories and Subject Descriptor...
181
Voted
SIGDOC
2003
ACM
15 years 11 months ago
2003
ACM
Field usability research involves observing people in their own environments—for example, workplaces, homes, and schools—to learn their normal or natural behavior. Through fie...
160
click to vote
SIGDOC
2003
ACM
15 years 11 months ago
2003
ACM
In this paper we propose a model of creation and use of documentation based on the concept of mixed-initiative interaction. In our model, successful single-initiative interaction ...