2137 search results - page 368 / 428 » Proving Abstract Non-interference |
128
Voted
TCOM
2008
15 years 1 months ago
2008
Abstract-- Input-queued cell switches employing the oldestcell-first (OCF) policy have been shown to yield low mean delay characteristics. Moreover, it has been proven that OCF is ...
114
Voted
TCSV
2008
15 years 1 months ago
2008
Abstract--During the last years, the task of automatic event analysis in video sequences has gained an increasing attention among the research community. The application domains ar...
84
Voted
ISCI
2007
15 years 1 months ago
2007
An obfuscation is a behaviour-preserving program transformation whose aim is to make a program “harder to understand”. Obfuscations are mainly applied to make reverse engineer...
108
Voted
TEC
2008
15 years 1 months ago
2008
Abstract--We propose a novel variation to biogeographybased optimization (BBO), which is an evolutionary algorithm (EA) developed for global optimization. The new algorithm employs...
99
Voted
TFS
2008
15 years 1 months ago
2008
Abstract--Flocking algorithms essentially consist of three components: alignment, cohesion, and separation. To track a desired trajectory, the flock center should move along the de...