1054 search results - page 125 / 211 » Guarded Expressions in Practice |
140
click to vote
CADE
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. In functional programming languages the use of infinite structures is common practice. For total correctness of programs dealing with infinite structures one must guarant...
154
click to vote
COORDINATION
2009
Springer
16 years 6 months ago
2009
Springer
In protocol development for wireless systems, the choice of appropriate mobility models describing the movement patterns of devices has long been recognised as a crucial factor for...
146
click to vote
KDD
2004
ACM
16 years 6 months ago
2004
ACM
The goal of this paper is to show that generalizing the notion of support can be useful in extending association analysis to non-traditional types of patterns and non-binary data....
148
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
Significant effort has been invested in developing expressive and flexible access-control languages and systems. However, little has been done to evaluate these systems in practic...
147
click to vote
CHI
2006
ACM
16 years 6 months ago
2006
ACM
Much existing documentation is informal and serves to communicate "how-to" knowledge among restricted working groups. Using current practices, such documentation is both...