Sciweavers

401 search results - page 31 / 81
» Types for describing coordinated data structures
Sort
View
BIRTHDAY
2000
Springer
14 years 2 days ago
Pict: a programming language based on the Pi-Calculus
The -calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports via simple encodings a wide range of high-level constru...
Benjamin C. Pierce, David N. Turner
BTW
2007
Springer
212views Database» more  BTW 2007»
14 years 1 months ago
Instance Matching with COMA++
: Schema matching is the process of identifying semantic correspondences between schemas. COMA++ is a matching prototype which uses several characteristics of schemas to determine ...
Daniel Engmann, Sabine Maßmann
CAV
2010
Springer
154views Hardware» more  CAV 2010»
13 years 11 months ago
Verifying Low-Level Implementations of High-Level Datatypes
For efficiency and portability, network packet processing code is typically written in low-level languages and makes use of bit-level operations to compactly represent data. Althou...
Christopher L. Conway, Clark Barrett
WECWIS
2005
IEEE
156views ECommerce» more  WECWIS 2005»
14 years 1 months ago
EXSMAL: EDI/XML Semi-Automatic Schema Matching ALgorithm
We describe a schema matching algorithm EXSMAL that automates the semantic correspondence discovery between the EDI (Electronic Data Interchange) messages of various standards (ED...
Uddam Chukmol, Rami Rifaieh, Aïcha-Nabila Ben...
BMCBI
2006
180views more  BMCBI 2006»
13 years 7 months ago
The Gaggle: An open-source software system for integrating bioinformatics software and data sources
Background: Systems biologists work with many kinds of data, from many different sources, using a variety of software tools. Each of these tools typically excels at one type of an...
Paul T. Shannon, David J. Reiss, Richard Bonneau, ...