Sciweavers

7393 search results - page 546 / 1479
» Synthesis-for-testability using transformations
Sort
View
I3E
2009
149views Business» more  I3E 2009»
15 years 5 months ago
Facilitating Business to Government Interaction Using a Citizen-Centric Web 2.0 Model
Modelling Business to Government (B2G) interaction is considered to be more complex than Citizen to Government (C2G) interaction, since the concept of authorized citizens, represen...
Alexandros Dais, Mara Nikolaidou, Dimosthenis Anag...
ICWS
2009
IEEE
15 years 5 months ago
A Flexible Approach for Automatic Process Decentralization Using Dependency Tables
Web service paradigm and related technologies have provided favorable means for the realization of collaborative business processes. From both conceptual and implementation points...
Walid Fdhila, Ustun Yildiz, Claude Godart
CVPR
2011
IEEE
15 years 4 months ago
Saliency Estimation Using a Non-Parametric Low-Level Vision Model
Many successful models for predicting attention in a scene involve three main steps: convolution with a set of filters, a center-surround mechanism and spatial pooling to constru...
Naila Murray, Maria Vanrell, Xavier Otazu, C. Alej...
TII
2011
206views Education» more  TII 2011»
15 years 2 months ago
Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques
Abstract—Software systems that do not meet their timing constraints can cause risks. In this work, we propose a comprehensive method for assessing the risk of timing failure by e...
Simona Bernardi, Javier Campos, José Merseg...
MCM
2010
15 years 2 months ago
Electromagnetic interrogation and the Doppler shift using the method of mappings
We consider the electromagnetic detection of hidden moving or oscillating conductive targets. The resulting mathematical problem involves computation of a Doppler shift for an ele...
H. T. Banks, Shuhua Hu, W. Clayton Thompson