Sciweavers

2810 search results - page 338 / 562
» Contract-Based Component System Design
Sort
View
EVOW
2009
Springer
15 years 7 months ago
Artificial Nature: Immersive World Making
Abstract. Artificial Nature is a trans-disciplinary research project drawing upon bio-inspired system theories in the production of engaging immersive worlds as art installations. ...
Graham Wakefield, Haru (Hyunkyung) Ji
NGITS
1995
Springer
15 years 6 months ago
The TSIMMIS Approach to Mediation: Data Models and Languages
TSIMMIS—TheStanford-IBMManagerofMultipleInformationSources—isasystemforintegrating information. It offers a data model and a common query language that are designed to support ...
Hector Garcia-Molina, Dallan Quass, Yannis Papakon...
DATESO
2004
92views Database» more  DATESO 2004»
15 years 4 months ago
Querying the RDF: Small Case Study in the Bicycle Sale Domain
We examine the suitability of RDF, RDF Schema (as simple ontology language), and RDF repository Sesame, for providing the backend to a prospective domain-specific web search tool, ...
Ondrej Sváb, Vojtech Svátek, Martin ...
PDCN
2004
15 years 4 months ago
Grid knowledge discovery processes and an architecture for their composition
The Grid is the computing and data management infrastructure, which is transforming science, business, health and society. This paper deals with a challenging task addressing know...
Guenter Kickinger, Jürgen Hofer, Peter Brezan...
IWFM
1998
113views Formal Methods» more  IWFM 1998»
15 years 4 months ago
A Use Case Interpretation of B AMN
In this paper we suggest methods to aid the development of specifications using the B method. We propose an objectoriented approach to specification, developing the structure thro...
Richard Shore