Sciweavers

631 search results - page 52 / 127
» Deriving Specifications from Requirements: An Example
Sort
View
AICOM
1999
116views more  AICOM 1999»
13 years 8 months ago
Generating On-Board Diagnostics of Dynamic Automotive Systems Based on Qualitative Models
On-board diagnostic systems play an important role in the current generation of cars and will play an increasingly important role in the next future. The design of on-board diagno...
Fulvio Cascio, Luca Console, Marcella Guagliumi Ma...
FPGA
2006
ACM
113views FPGA» more  FPGA 2006»
14 years 5 days ago
Optimality study of logic synthesis for LUT-based FPGAs
Abstract--Field-programmable gate-array (FPGA) logic synthesis and technology mapping have been studied extensively over the past 15 years. However, progress within the last few ye...
Jason Cong, Kirill Minkovich
APSCC
2008
IEEE
14 years 3 months ago
A Service-Oriented Framework for Quantitative Security Analysis of Software Architectures
Software systems today often run in malicious environments in which attacks or intrusions are quite common. This situation has brought security concerns into the development of so...
Yanguo Liu, Issa Traoré, Alexander M. Hoole
AROBOTS
2005
98views more  AROBOTS 2005»
13 years 8 months ago
Terrain Classification Using Weakly-Structured Vehicle/Terrain Interaction
We present a new terrain classification technique both for effective, autonomous locomotion over rough, unknown terrains and for the qualitative analysis of terrains for exploratio...
Amy C. Larson, Guleser K. Demir, Richard M. Voyles
ICDAR
2007
IEEE
14 years 2 months ago
Exploiting Fisher Kernels in Decoding Severely Noisy Document Images
Decoding noisy document images is commonly needed in applications such as enterprise content management. Available OCR solutions are still not satisfactory especially on noisy ima...
J. Chen, Y. Wang