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»
16 years 1 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
16 years 1 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
16 years 28 days 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
16 years 26 days 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
16 years 1 days 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