9626 search results - page 1359 / 1926 » Invariant Based Programming |
215
click to vote
MMM
2007
Springer
16 years 1 months ago
2007
Springer
TV logo detection, tracking and removal play an important role in the applications of claiming video content ownership, logo-based broadcasting surveillance, commercial skipping, a...
175
click to vote
SCAM
2007
IEEE
16 years 1 months ago
2007
IEEE
Remote trusting aims at verifying the “healthy” execution of a program running on an untrusted client that communicates with a trusted server via network connection. After giv...
171
click to vote
APPT
2007
Springer
16 years 1 months ago
2007
Springer
The memory size limits the scalability of virtual machine systems. There have been some researches about sharing identical pages among guest systems to reduce memory usage. However...
187
click to vote
CC
2007
Springer
16 years 1 months ago
2007
Springer
We present a unification-based, context-sensitive escape and effect analysis that infers lightweight method summaries describing heap effects. The analysis is parameterized on two...
201
click to vote
CONTEXT
2007
Springer
16 years 1 months ago
2007
Springer
This note describes a logical system based on concepts and contexts, whose aim is to serve as a representation language for meanings of natural language sentences. The logic is a t...