Sciweavers

3885 search results - page 476 / 777
» Transformations for Write-All-with-Collision Model
Sort
View
ECOWS
2008
Springer
15 years 8 months ago
Automatic Timed Test Case Generation for Web Services Composition
In order to specify the composition of Web services, WSBPEL was defined as an orchestrating language by an international standards consortium. In this paper, we propose a method t...
Mounir Lallali, Fatiha Zaïdi, Ana R. Cavalli,...
FSE
2008
Springer
110views Cryptology» more  FSE 2008»
15 years 8 months ago
How to Encrypt with a Malicious Random Number Generator
Chosen-plaintext attacks on private-key encryption schemes are currently modeled by giving an adversary access to an oracle that encrypts a given message m using random coins that ...
Seny Kamara, Jonathan Katz
DPHOTO
2010
195views Hardware» more  DPHOTO 2010»
15 years 8 months ago
Direct PSF estimation using a random noise target
Conventional point spread function (PSF) measurement methods often use parametric models for the estimation of the PSF. This limits the shape of the PSF to a specific form provide...
Johannes Brauers, Claude Seiler, Til Aach
HCI
2007
15 years 8 months ago
Developing a Mobile, Service-Based Augmented Reality Tool for Modern Maintenance Work
In the VTT PLAMOS (Plant Model Services for Mobile Process Maintenance Engineer) project new tools were developed for modern maintenance work carried out in industrial plants by ei...
Paula Savioja, Paula Järvinen, Tommi Karhela,...
MASCOTS
2008
15 years 8 months ago
Evaluating the Effectiveness of Information Extraction in Real-World Storage Management
As storage deployments within enterprises continue to grow, there is an increasing need to simplify and automate. Existing tools for automation rely on extracting information in t...
Aameek Singh, Sandeep Uttamchandani, Yin Wang