9 search results - page 1 / 2 » Implicit Dynamic Frames: Combining Dynamic Frames and Separa... |
ECOOP
2009
Springer
14 years 5 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 3 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
13 years 10 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
13 years 11 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 4 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...