Sciweavers

4902 search results - page 303 / 981
» Structures, Semantics and Statistics
Sort
View
ASWEC
2007
IEEE
16 years 1 months ago
A Formal Model of Service-Oriented Design Structure
—Service-Oriented Computing (SOC) is an emerging paradigm for developing software systems that employ services. Presently there is already much research effort in the areas of se...
Mikhail Perepletchikov, Caspar Ryan, Keith Frampto...
EMSOFT
2007
Springer
16 years 25 days ago
The algebra of connectors: structuring interaction in BIP
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
Simon Bliudze, Joseph Sifakis
GEOS
2007
Springer
16 years 25 days ago
Structure-Based Methods to Enhance Geospatial Ontology Alignment
In geospatial applications with heterogeneous classification schemes that describe related domains, an ontology-driven approach to data sharing and interoperability relies on the ...
William Sunna, Isabel F. Cruz
ICADL
2007
Springer
129views Education» more  ICADL 2007»
16 years 25 days ago
Using Automatic Metadata Extraction to Build a Structured Syllabus Repository
Syllabi are important documents created by instructors for students. Students use syllabi to find information and to prepare for class. Instructors often need to find similar syl...
Xiaoyan Yu, Manas Tungare, Weiguo Fan, Manuel A. P...
ECAI
2004
Springer
16 years 1 days ago
Plausibility Structures for Default Reasoning
Friedman and Halpern have introduced the inference by plausibility structures, which provides semantics for various default logics. This is a generalization of known inferences, su...
Yves Moinard