Sciweavers

5726 search results - page 896 / 1146
» Supporting annotations on relations
Sort
View
EMSOFT
2006
Springer
15 years 10 months ago
Polychronous mode automata
Among related synchronous programming principles, the model of computation of the Polychrony workbench stands out by its capability to give high-level description of systems where...
Jean-Pierre Talpin, Christian Brunette, Thierry Ga...
ER
2006
Springer
145views Database» more  ER 2006»
15 years 10 months ago
Combining Declarative and Procedural Knowledge to Automate and Represent Ontology Mapping
Ontologies on the Semantic Web are by nature decentralized. From the body of ontology mapping approaches, we can draw a conclusion that an effective approach to automate ontology m...
Li Xu, David W. Embley, Yihong Ding
FLOPS
2006
Springer
15 years 10 months ago
"Scrap Your Boilerplate" Reloaded
Abstract. The paper "Scrap your boilerplate" (SYB) introduces a combinator library for generic programming that offers generic traversals and queries. Classically, suppor...
Ralf Hinze, Andres Löh, Bruno C. D. S. Olivei...
ASWEC
2001
IEEE
15 years 10 months ago
Applying Static Analysis to Large-Scale, Multi-Threaded Java Programs
Static analysis is a tremendous help when trying to find faults in complex software. Writing multi-threaded programs is difficult, because the thread scheduling increases the prog...
Cyrille Artho, Armin Biere
ATAL
2003
Springer
15 years 10 months ago
Using web helper agent profiles in query generation
Personalized information agents can help overcome some of the limitations of communal Web information sources such as portals and search engines. Two important components of these...
Gabriel Somlo, Adele E. Howe