2763 search results - page 264 / 553 » The Dangerous 'All' in Specifications |
161
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
Existing package and system configuration management tools suffer from an imperative model, where system administration actions such as upgrading packages or changes to system con...
163
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
Earlier studies have introduced a list of high-level evaluation criteria to assess how well a language supports generic programming. Since each language that meets all criteria is...
175
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
To improve the quality of type error messages in functional programming languages, we propose four techniques which influence the behaviour of constraint-based type inference proc...
175
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
This paper considers the problem of maintaining the coverage degree of a wireless sensor network at an application specific level while keeping the sensing units of only a subset o...
160
click to vote
DCC
2008
IEEE
16 years 6 months ago
2008
IEEE
This paper considers the problem of distributed scalable coding of correlated sources that are communicated to a central unit. The general setting is typically encountered in sens...