Sciweavers

1675 search results - page 203 / 335
» Compositional Model-Based Design
Sort
View
ATS
2002
IEEE
110views Hardware» more  ATS 2002»
14 years 2 months ago
Test Requirement Analysis for Low Cost Hierarchical Test Path Construction
We propose a methodology that examines design modules and identifies appropriate vector justification and response propagation requirements for hierarchical test. Based on a cel...
Yiorgos Makris, Alex Orailoglu
EUROPAR
2001
Springer
14 years 1 months ago
A Component Framework for HPC Applications
Abstract. We describe a general component software framework designed for demanding grid environments that provides optimal performance for the assembled component application. Thi...
Nathalie Furmento, Anthony Mayer, Stephen McGough,...
OHS
2001
Springer
14 years 1 months ago
Using Open Hypermedia to Support Information Integration
Abstract. The task of information integration challenges software engineers on a daily basis. Software artifacts, produced during software development, contain many implicit and ex...
Kenneth M. Anderson, Susanne A. Sherba
EDOC
2000
IEEE
14 years 1 months ago
Model Checking of Workflow Schemas
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
Christos T. Karamanolis, Dimitra Giannakopoulou, J...
HICSS
2000
IEEE
99views Biometrics» more  HICSS 2000»
14 years 1 months ago
Selecting a Model Interchange Format: The SPOOL Case Study
The aim of this paper is to provide tool developers with effective strategies to minimize the risks, costs, effort and time involved in handling model interchange issues. Specific...
Guy Saint-Denis, Reinhard Schauer, Rudolf K. Kelle...