Sciweavers

2562 search results - page 361 / 513
» The Use of B2B Process Standards: A Case Study
Sort
View
MODELS
2009
Springer
15 years 2 months ago
From UML to Alloy and Back Again
Abstract. Model Transformations can be used to bridge the gap between design and analysis technical spaces by creating tools that allow a model produced by a designer to be transfo...
Seyyed M. A. Shah, Kyriakos Anastasakis, Behzad Bo...
DICTA
2003
14 years 11 months ago
A Region-based Matching Approach for 3D-Roof Reconstruction from HR Satellite Stereo Pairs
This study is a part of a global project on urban scenes interpretation using high resolution satellite images. Actually, the research is focused on buildings and roads are used to...
Nesrine Chehata, Franck Jung, Marc Pierrot Deseill...
68
Voted
ETRA
2006
ACM
101views Biometrics» more  ETRA 2006»
15 years 4 months ago
Gaze-contingent temporal filtering of video
We describe an algorithm for manipulating the temporal resolution of a video in real time, contingent upon the viewer’s direction of gaze. The purpose of this work is to study t...
Martin Böhme, Michael Dorr, Thomas Martinetz,...
NDSS
2000
IEEE
15 years 2 months ago
A First Step Towards the Automatic Generation of Security Protocols
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...
Adrian Perrig, Dawn Xiaodong Song
CORR
2010
Springer
88views Education» more  CORR 2010»
14 years 10 months ago
Multiple Timescale Dispatch and Scheduling for Stochastic Reliability in Smart Grids with Wind Generation Integration
Integrating volatile renewable energy resources into the bulk power grid is challenging, due to the reliability requirement that at each instant the load and generation in the syst...
Miao He, Sugumar Murugesan, Junshan Zhang