Sciweavers

1914 search results - page 59 / 383
» Semantic domains for Handel-C
Sort
View
ASP
2003
Springer
14 years 3 months ago
Mappings Between Domain Models in Answer Set Programming
Integration of data is required when accessing multiple databases within an organization or on the WWW. Schema integration is required for database interoperability, but it is curr...
Stefania Costantini, Andrea Formisano, Eugenio G. ...
FM
2006
Springer
127views Formal Methods» more  FM 2006»
14 years 1 months ago
Using Domain-Independent Problems for Introducing Formal Methods
Abstract. The key to the integration of formal methods into engineering practice is education. In teaching, domain-independent problems -i.e., not requiring prior engineering backg...
Raymond T. Boute
KBSE
2010
IEEE
13 years 8 months ago
Variability modeling in the real: a perspective from the operating systems domain
Variability models represent the common and variable features of products in a product line. Several variability modeling languages have been proposed in academia and industry; ho...
Thorsten Berger, Steven She, Rafael Lotufo, Andrze...
IKE
2004
13 years 11 months ago
Ontology based Semantic Metadata for Geoscience Data
In Geoscience domain, large amounts of data are accessible, however they vary in formats and are stored at various organizations leading to problems of data discovery, data intero...
Viral Parekh, Jin-Ping Gwo, Timothy W. Finin
IVS
2007
77views more  IVS 2007»
13 years 10 months ago
Designing semantic substrates for visual network exploration
A semantic substrate is a spatial template for a network, where nodes are grouped into regions and laid out within each region according to one or more node attributes. This paper...
Aleks Aris, Ben Shneiderman