2542 search results - page 479 / 509 » An Operational Definition of Context |
117
click to vote
VSTTE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
124
click to vote
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
Though adjustable autonomy is hardly a new topic in agent systems, there has been a general lack of consensus on terminology and basic concepts. In this paper, we describe the mul...
103
click to vote
ISLPED
2004
ACM
15 years 6 months ago
2004
ACM
The quadratic relationship between voltage and energy has made dynamic voltage scaling (DVS) one of the most powerful techniques to reduce system power demands. Recently, techniqu...
114
Voted
MOBICOM
2004
ACM
15 years 6 months ago
2004
ACM
The progress of mobile device technology unfolds a new spectrum of applications that challenges conventional infrastructure models. Most of these devices are perceived by their us...
102
Voted
NSPW
2004
ACM
15 years 6 months ago
2004
ACM
Over the past years, the computing industry has started various initiatives announced to increase computer security by means of new hardware architectures. The most notable effort...