7 search results - page 1 / 2 » Dynamic Frames: Support for Framing, Dependencies and Sharin... |
FM
2006
Springer
14 years 2 months ago
2006
Springer
This paper addresses the frame problem for programming theories that support both sharing and encapsulation through specification variables. The concept of dynamic frames is introd...
ESOP
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. The hiding of internal invariants creates a mismatch between procedure specifications in an interface and proof obligations on the implementations of those procedures. T...
TCSV
2002
13 years 10 months ago
2002
Abstract--In this paper, we propose a new architectural technique to reduce energy dissipation of frame memory through adaptive bitwith compression. Unlike related approaches, the ...
CISIS
2010
IEEE
14 years 5 months ago
2010
IEEE
— In pervasive environment, it is essential for computing applications to be context-aware. However, one of the major challenges is the establishment of a generic and dynamic con...
ICMCS
1995
IEEE
14 years 2 months ago
1995
IEEE
– One approach to supporting continuous media traffic is via resource reservation at connection establishment time. The shortcomings of this approach are the lack of flexibility...