Sciweavers

2562 search results - page 191 / 513
» The Use of B2B Process Standards: A Case Study
Sort
View
CBMS
2005
IEEE
16 years 6 days ago
A Spreadsheet Framework for Visual Exploration of Biomedical Datasets
In this paper, we present our spreadsheet framework, which uses a spreadsheet-like interface for exploring biomedical datasets. The principles and advantages of this class of visu...
Sofiane Sarni, Anderson Maciel, Ronan Boulic, Dani...
RSP
2005
IEEE
107views Control Systems» more  RSP 2005»
16 years 5 days ago
Rapid Prototyping of Embedded Software Using Selective Formalism
Our software synthesis tool, CSP++, generates C++ source code from verifiable CSPm specifications, and includes a framework for runtime execution. Our technique of selective for...
John D. Carter, Ming Xu, William B. Gardner
ICSEA
2009
IEEE
15 years 4 months ago
Development of CMS-Based Web-Applications Using a Model-Driven Approach
The emerging Model-Driven Engineering paradigm advocates the use of models as first-class citizens in the software development process, while artifacts such as documentation and so...
João de Sousa Saraiva, Alberto Rodrigues da...
QEST
2009
IEEE
16 years 1 months ago
Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples
—Failure mode and effects analysis (FMEA) is a technique to reason about possible system hazards that result from system or system component failures. Traditionally, FMEA does no...
Husain Aljazzar, Manuel Fischer, Lars Grunske, Mat...
CIKM
2009
Springer
16 years 1 months ago
Cross-language linking of news stories on the web using interlingual topic modelling
We have studied the problem of linking event information across different languages without the use of translation systems or dictionaries. The linking is based on interlingua in...
Wim De Smet, Marie-Francine Moens