Sciweavers

3073 search results - page 288 / 615
» Real World Verification
Sort
View
APSEC
2006
IEEE
15 years 10 months ago
Towards a Model-driven Approach to Develop Applications based on Physical Active Objects
The increasing diffusion of ubiquitous communication infrastructures and physical active objects --like sensors and smart tags-- is motivating the integration of these devices int...
Luciano Baresi, Paolo Beretta, Roberto Fraccapani,...
DATE
2004
IEEE
114views Hardware» more  DATE 2004»
15 years 10 months ago
Workload Characterization Model for Tasks with Variable Execution Demand
The analysis of real-time properties of an embedded system usually relies on the worst-case execution times (WCET) of the tasks to be executed. In contrast to that, in real world ...
Alexander Maxiaguine, Simon Künzli, Lothar Th...
CCS
2006
ACM
15 years 10 months ago
Modelling the relative strength of security protocols
In this paper, we present a way to think about the relative strength of security protocols using SoS, a lattice-theoretic representation of security strength. In particular, we di...
Ho Chung, Clifford Neuman
EEE
2004
IEEE
15 years 10 months ago
A Privacy-Friendly Loyalty System for Electronic Marketplaces
Loyalty systems provide an interesting possibility for vendors in customer relationship management. This holds for both real world and online vendors. Beside potential benefits of...
Matthias Enzmann, Markus Schneider 0002
CIVR
2006
Springer
104views Image Analysis» more  CIVR 2006»
15 years 10 months ago
Video Mining with Frequent Itemset Configurations
Abstract. We present a method for mining frequently occurring objects and scenes from videos. Object candidates are detected by finding recurring spatial arrangements of affine cov...
Till Quack, Vittorio Ferrari, Luc J. Van Gool