16190 search results - page 2895 / 3238 » Applicative programming with effects |
122
click to vote
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
A software system interacts with third-party libraries through various APIs. Using these library APIs often needs to follow certain usage patterns. Furthermore, ordering rules (sp...
82
Voted
SIGSOFT
2004
ACM
16 years 1 months ago
2004
ACM
One of the benefits of finite-state verification (FSV) tools, such as model checkers, is that a counterexample is provided when the property cannot be verified. Not all counterexa...
204
Voted
CP
2009
Springer
16 years 1 months ago
2009
Springer
The ALLDIFFERENT constraint was one of the first global constraints [17] and it enforces the conjunction of one binary constraint, the not-equal constraint, for every pair of varia...
92
Voted
MOBIHOC
2009
ACM
16 years 1 months ago
2009
ACM
We consider a high density of sensors randomly placed in a geographical area for event monitoring. The monitoring regions of the sensors may have significant overlap, and a subset...
103
Voted
CHI
2003
ACM
16 years 1 months ago
2003
ACM
In evaluations of text entry methods, participants enter phrases of text using a technique of interest while performance data are collected. This paper describes and publishes (vi...