Sciweavers

3056 search results - page 222 / 612
» Open Implementation Analysis and Design
Sort
View
147
Voted
MODELS
2009
Springer
15 years 9 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...
DATE
2008
IEEE
104views Hardware» more  DATE 2008»
15 years 11 months ago
Diagnostic Analysis of Static Errors in Multi-Step Analog to Digital Converters
– A new approach for diagnostic analysis of static errors in multi-step ADC based on the steepestdescent method is proposed. To set initial data, estimate the parameter update an...
Amir Zjajo, José Pineda de Gyvez
119
Voted
RTSS
2008
IEEE
15 years 11 months ago
Control-Driven Tasks: Modeling and Analysis
The standard design of control systems is based on the periodic sampling. Every period the data is read from the input, the control law is computed, and the output is written to t...
Manel Velasco, Pau Martí, Enrico Bini
AMR
2007
Springer
171views Multimedia» more  AMR 2007»
15 years 10 months ago
Automatic Image Annotation with Relevance Feedback and Latent Semantic Analysis
The goal of this paper is to study the image-concept relationship as it pertains to image annotation. We demonstrate how automatic annotation of images can be implemented on partia...
Donn Morrison, Stéphane Marchand-Maillet, E...
ICNP
2006
IEEE
15 years 10 months ago
Forensic Analysis for Epidemic Attacks in Federated Networks
— We present the design of a Network Forensic Alliance (NFA), to allow multiple administrative domains (ADs) to jointly locate the origin of epidemic spreading attacks. ADs in th...
Yinglian Xie, Vyas Sekar, Michael K. Reiter, Hui Z...