Sciweavers

3514 search results - page 326 / 703
» Software Process Modeling: Principles of Entity Process Mode...
Sort
View
129
Voted
ISOLA
2007
Springer
15 years 10 months ago
Using Invariant Detection Mechanism in Black Box Inference
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...
Muzammil Shahbaz, Roland Groz
DATE
2000
IEEE
105views Hardware» more  DATE 2000»
15 years 8 months ago
System Synthesis for Multiprocessor Embedded Applications
This paper presents the system synthesis techniques available in S3 E2 S, a CAD environment for the specification, simulation, and synthesis of embedded electronic systems that ca...
Luigi Carro, Márcio Eduardo Kreutz, Fl&aacu...
123
Voted
ICIP
2005
IEEE
16 years 5 months ago
Image denoising in nonlinear scale-spaces: automatic scale selection via cross-validation
Multiscale, i.e. scale-space image analysis is a powerful framework for many image processing tasks. A fundamental issue with such scale-space techniques is the automatic selectio...
George Papandreou, Petros Maragos
IEEESCC
2005
IEEE
15 years 9 months ago
An ECA Rule-based Workflow Design Tool for Shanghai Grid
Service integration, the ultimate goal of Shanghai Grid, has created a necessity for more efficient and effective workflow infrastructure. Workflow design tool is one core compone...
Lin Chen, Minglu Li, Jian Cao, Yi Wang
DAWAK
2006
Springer
15 years 6 months ago
Towards Multidimensional Requirement Design
Abstract. Data warehouses (DW) main objective is to facilitating decisionmaking. Thus their development has to take into account DW project actor requirements. While much recent re...
Estella Annoni, Franck Ravat, Olivier Teste, Gille...