Sciweavers

2714 search results - page 368 / 543
» A Service-Oriented Approach for Model Management
Sort
View
IFM
2009
Springer
132views Formal Methods» more  IFM 2009»
15 years 10 months ago
Decomposition Structures for Event-B
Abstract. Event-B provides a flexible approach to modelling and refinement of systems. In this paper we outline two important ways in which Event-B refinement can be augmented w...
Michael Butler
QUACON
2009
Springer
15 years 10 months ago
Establishing Similarity across Multi-granular Topological-Relation Ontologies
Within the Geospatial Semantic Web, selecting a different ontology for a spatial data set will enable that data’s analysis in a different context. Analyses of multiple data sets,...
Matthew P. Dube, Max J. Egenhofer
IRI
2008
IEEE
15 years 10 months ago
Lightweight linked data
Much of the Web’s success rests with its role in enabling information reuse and integration across various boundaries. Hyperlinked Web resources represent a rich information tap...
Erik Wilde, Yiming Liu
ICC
2007
IEEE
15 years 10 months ago
On the Capacity of Cellular Networks with Global LMMSE Receiver
Abstract— Frequency planning is a common intercell interference (ICI) management strategy in narrowband cellular networks. In this paper, we consider an alternative approach that...
Boon Loong Ng, Jamie S. Evans, Stephen V. Hanly
GEOS
2005
Springer
15 years 9 months ago
Measuring Semantic Similarity Between Geospatial Conceptual Regions
Determining the grade of semantic similarity between geospatial concepts is the basis for evaluating semantic interoperability of geographic information services and their users. G...
Angela Schwering, Martin Raubal