Sciweavers

2673 search results - page 447 / 535
» Guided Static Analysis
Sort
View
SECON
2007
IEEE
15 years 10 months ago
High-Level Application Development is Realistic for Wireless Sensor Networks
—Programming Wireless Sensor Network (WSN) applications is known to be a difficult task. Part of the problem is that the resource limitations of typical WSN nodes force programm...
Marcin Karpinski, Vinny Cahill
CAIP
2007
Springer
202views Image Analysis» more  CAIP 2007»
15 years 10 months ago
Segmentation of Distinct Homogeneous Color Regions in Images
Abstract. In this paper, we present a novel algorithm to detect homogeneous color regions in images. We show its performance by applying it to skin detection. In contrast to previo...
Daniel Mohr, Gabriel Zachmann
CCS
2007
ACM
15 years 10 months ago
A calculus of challenges and responses
er presents a novel approach for concisely abstracting authentication s and for subsequently analyzing those abstractions in a sound manner, i.e., deriving authentication guarante...
Michael Backes, Agostino Cortesi, Riccardo Focardi...
DAGM
2007
Springer
15 years 10 months ago
A Multi-view Camera System for the Generation of Real-Time Occlusion-Free Scene Video
This paper presents a novel multi-view camera system that produces real-time single view scene video which sees through the static objects to observe the dynamic objects. The syste...
Alparslan Yildiz, Yusuf Sinan Akgul
ESTIMEDIA
2007
Springer
15 years 10 months ago
Network Calculus Applied to Verification of Memory Access Performance in SoCs
SoCs for multimedia applications typically use only one port to off-chip DRAM for cost reasons. The sharing of interconnect and the off-chip DRAM port by several IP blocks makes t...
Tomas Henriksson, Pieter van der Wolf, Axel Jantsc...