Sciweavers

3091 search results - page 250 / 619
» The Microsoft Relational Engine
Sort
View
RE
2005
Springer
16 years 3 days ago
iVuBlender: A Tool for Merging Incomplete and Inconsistent Views
View merging is an important activity in any conceptual modeling language. It is often desirable to combine a set of views to gain a unified perspective, to test hypotheses about...
Mehrdad Sabetzadeh, Steve M. Easterbrook
TMRA
2005
Springer
16 years 3 days ago
Just for Me: Topic Maps and Ontologies
The development of the IRIS semantic desktop platform has provided illumination of some important issues associated with the collection and manipulation of knowledge assets that a...
Jack Park, Adam Cheyer
UML
2005
Springer
16 years 3 days ago
Weaving Executability into Object-Oriented Meta-languages
Abstract. Nowadays, object-oriented meta-languages such as MOF (MetaObject Facility) are increasingly used to specify domain-specific languages in the model-driven engineering comm...
Pierre-Alain Muller, Franck Fleurey, Jean-Marc J&e...
VMCAI
2005
Springer
16 years 3 days ago
Model Checking of Systems Employing Commutative Functions
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
A. Prasad Sistla, Min Zhou, Xiaodong Wang
DMSN
2004
ACM
16 years 2 days ago
Optimization of in-network data reduction
We consider the in-network computation of approximate “big picture” summaries in bandwidth-constrained sensor networks. First we review early work on computing the Haar wavele...
Joseph M. Hellerstein, Wei Wang