Sciweavers

3948 search results - page 324 / 790
» Integration Workbench: Integrating Schema Integration Tools
Sort
View
BMCBI
2010
175views more  BMCBI 2010»
15 years 6 months ago
The BridgeDb framework: standardized access to gene, protein and metabolite identifier mapping services
Background: Many complementary solutions are available for the identifier mapping problem. This creates an opportunity for bioinformatics tool developers. Tools can be made to fle...
Martijn P. van Iersel, Alexander R. Pico, Thomas K...
EWSA
2004
Springer
15 years 11 months ago
Correct Development of Embedded Systems
This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language....
Susanne Graf, Jozef Hooman
VTS
2000
IEEE
84views Hardware» more  VTS 2000»
15 years 10 months ago
ESIM: A Multimodel Design Error and Fault Simulator for Logic Circuits
ESIM is a simulation tool that integrates logic fault and design error simulation for logic circuits. It targets several design error and fault models, and uses a novel mix of sim...
Hussain Al-Asaad, John P. Hayes
ASIACRYPT
1992
Springer
15 years 10 months ago
On the Power of Memory in the Design of Collision Resistant Hash Functions
Collision resistant hash functions are an important basic tool for cryptographic applications such as digital signature schemes and integrity protection based on "fingerprinti...
Bart Preneel, René Govaerts, Joos Vandewall...
ESWS
2006
Springer
15 years 10 months ago
A Metamodel and UML Profile for Rule-Extended OWL DL Ontologies
In this paper we present a MOF compliant metamodel and UML profile for the Semantic Web Rule Language (SWRL) that integrates with our previous work on a metamodel and UML profile f...
Saartje Brockmans, Peter Haase, Pascal Hitzler, Ru...