2111 search results - page 153 / 423 » How to Program Pervasive Systems |
112
click to vote
POPL
2012
ACM
13 years 8 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
97
Voted
ECIS
2000
15 years 2 months ago
2000
As the information systems discipline grows, so do the number of programs offering graduate research degrees (GRD). In Australasia these include one year post-graduate (honors) pr...
99
Voted
SIGSOFT
2003
ACM
16 years 1 months ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...
90
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
In this paper we report results of an extensive evaluation of people's ability to reproduce the strategies they use in simple real-life settings. Having the ability to reliab...
99
Voted
DEBS
2008
ACM
15 years 2 months ago
2008
ACM
We propose a sensornet programming model based on declarative spatio-temporal constraints on events only, not sensors. Where previous approaches conflate events and sensors becaus...