Sciweavers

3410 search results - page 371 / 682
» Measuring Model Transformation in Model Driven Development
Sort
View
EUROPKI
2007
Springer
16 years 26 days ago
Authorization Architectures for Privacy-Respecting Surveillance
Even more than in our physical world, in our digital world we need systems that meet the security objective of service providers and users in equal measure. This paper investigates...
Ulrich Flegel, Michael Meier
ECCV
2010
Springer
15 years 12 months ago
Compressive Acquisition of Dynamic Scenes
Abstract. Compressive sensing (CS) is a new approach for the acquisition and recovery of sparse signals and images that enables sampling rates significantly below the classical Ny...
ICMCS
2006
IEEE
107views Multimedia» more  ICMCS 2006»
16 years 22 days ago
On the Detection of Multiplicative Watermarks for Speech Signals in the Wavelet and DCT Domains
Blind multiplicative watermarking schemes for speech signals using wavelets and discrete cosine transform are presented. Watermarked signals are modeled using a generalized Gaussi...
Ramin Eslami, John Deller, Hayder Radha
IANDC
2010
125views more  IANDC 2010»
15 years 4 months ago
A thread calculus with molecular dynamics
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction between threads and services. In the current paper, we extend that theory...
Jan A. Bergstra, C. A. Middelburg
182
Voted
IAJIT
2008
118views more  IAJIT 2008»
15 years 6 months ago
Integration of the Association Ends within UML State Diagrams
: UML currently still lacks a rigorously defined semantics for its models, which makes formally analyzing a model and verifying its properties extremely difficult. To remedy that, ...
Thouraya Bouabana-Tebibel, Mounira Belmesk