15614 search results - page 235 / 3123 » The State of State |
169
click to vote
EDBT
2008
ACM
16 years 6 months ago
2008
ACM
ng the abstract view of computing resources from the implementation of these resources of indirection between abstract view and implementation of resources - Hides implementation d...
177
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Model checkers search the space of possible program behaviors to detect errors and to demonstrate their absence. Despite major advances in reduction and optimization techniques, s...
147
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
The concept of a "unique" object arises in many emerging programming languages such as Clean, CQual, Cyclone, TAL, and Vault. In each of these systems, unique objects ma...
144
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
In this paper we take a look at the start of the art in smart environments research. The survey is motivated by the recent dramatic increase of activity in the field, and summariz...