9 search results - page 1 / 2 » Implicit Dynamic Frames: Combining Dynamic Frames and Separa... |
ECOOP
2009
Springer
14 years 11 months ago
2009
Springer
The dynamic frames approach has proven to be a powerful formalism for specifying and verifying object-oriented programs. However, it requires writing and checking many frame annota...
VSTTE
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
IJCNN
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract— This paper presents the use of a newly created network structure known as a Self-Delaying Dynamic Network (SDN). The SDNs were created to process data which varies with...
ICMCS
2008
IEEE
14 years 5 months ago
2008
IEEE
The temporal correlation between adjacent video frames poses a severe challenges for video watermarking applications. Motioncoherent watermarking has been recognized as a strategy...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
A theory, graphical notation, mathematical calculus and implementation for finding whether two given expressions can, at execution time, denote references attached to the same obje...