Sciweavers

3948 search results - page 538 / 790
» Integration Workbench: Integrating Schema Integration Tools
Sort
View
TCAD
1998
82views more  TCAD 1998»
15 years 6 months ago
LOT: Logic Optimization with Testability. New transformations for logic synthesis
—A new approach to optimize multilevel logic circuits is introduced. Given a multilevel circuit, the synthesis method optimizes its area while simultaneously enhancing its random...
Mitrajit Chatterjee, Dhiraj K. Pradhan, Wolfgang K...
ISOLA
2010
Springer
15 years 5 months ago
Ten Years of Performance Evaluation for Concurrent Systems Using CADP
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
Nicolas Coste, Hubert Garavel, Holger Hermanns, Fr...
SOSYM
2010
107views more  SOSYM 2010»
15 years 5 months ago
A UML/OCL framework for the analysis of graph transformation rules
In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate different rule semantics into OCL, to...
Jordi Cabot, Robert Clarisó, Esther Guerra,...
ICONFERENCE
2011
15 years 1 months ago
Expressing well-being online: towards self-reflection and social awareness
Medicine, psychology and quality of life literature all point to the importance of not just asking ‘how are you?’, but assessing and being aware of self and others’ well-bei...
Paul André, Monica M. C. Schraefel, Alan J....
NAR
2011
158views Computer Vision» more  NAR 2011»
14 years 9 months ago
T1DBase: update 2011, organization and presentation of large-scale data sets for type 1 diabetes research
T1DBase (http://www.t1dbase.org) is web platform, which supports the type 1 diabetes (T1D) community. It integrates genetic, genomic and expression data relevant to T1D research a...
Oliver S. Burren, Ellen C. Adlem, Premanand Achuth...