Sciweavers

823 search results - page 82 / 165
» Stateful Subset Cover
Sort
View
CSE
2009
IEEE
14 years 4 months ago
Modelling of Pseudonymity under Probabilistic Linkability Attacks
—This paper contributes to the field of measuring (un)linkability in communication systems; a subproblem of privacy protection. We propose an attacker state model for attacks on...
Martin Neubauer
CAISE
2009
Springer
14 years 4 months ago
Verifying Action Semantics Specifications in UML Behavioral Models
MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment....
Elena Planas, Jordi Cabot, Cristina Gómez
DATE
2008
IEEE
167views Hardware» more  DATE 2008»
14 years 4 months ago
Accuracy-Adaptive Simulation of Transaction Level Models
Simulation of transaction level models (TLMs) is an established embedded systems design technique. Its use cases include virtual prototyping for early software development, platfo...
Martin Radetzki, Rauf Salimi Khaligh
LAWEB
2008
IEEE
14 years 4 months ago
Web Interactivity in the Perspective of Young Users
This paper presents the results of a qualitative research whose objective was to broaden the understanding on the participation of youngsters and adolescents on Internet-based soc...
Caroline Queiroz Santos, Ana Maria Pereira Cardoso
ICRA
2007
IEEE
129views Robotics» more  ICRA 2007»
14 years 4 months ago
Multi-Robot Area Patrol under Frequency Constraints
— This paper discusses the problem of generating patrol paths for a team of mobile robots inside a designated target area. Patrolling requires an area to be visited repeatedly by...
Yehuda Elmaliach, Noa Agmon, Gal A. Kaminka