Sciweavers

2613 search results - page 130 / 523
» Proposal for Tools Supporting Component Based Programming
Sort
View
135
Voted
JLP
2008
129views more  JLP 2008»
15 years 5 months ago
Program and proof optimizations with type systems
We demonstrate a method for describing data-flow analyses based program optimizations as compositional type systems with a transformation component. Analysis results are presented...
Ando Saabas, Tarmo Uustalu
BMCBI
2008
152views more  BMCBI 2008»
15 years 5 months ago
JCoast - A biologist-centric software tool for data mining and comparison of prokaryotic (meta)genomes
Background: Current sequencing technologies give access to sequence information for genomes and metagenomes at a tremendous speed. Subsequent data processing is mainly performed b...
Michael Richter, Thierry Lombardot, Ivaylo Kostadi...
137
Voted
CLIMA
2007
15 years 6 months ago
EVOLP: Tranformation-Based Semantics
Over the years, Logic Programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, ...
Martin Slota, João Leite
SEMWEB
2007
Springer
15 years 11 months ago
A Cognitive Support Framework for Ontology Mapping
Abstract. Ontology mapping is the key to data interoperability in the semantic web. This problem has received a lot of research attention, however, the research emphasis has been m...
Sean M. Falconer, Margaret-Anne D. Storey
115
Voted
UML
2000
Springer
15 years 8 months ago
Supporting Several Levels of Restriction in the UML
The emergence of the Unified Modeling Language (UML) has provided software developers with an effective and efficient shared language. However, UML is often too restrictive in init...
Christian Heide Damm, Klaus Marius Hansen, Michael...