Sciweavers

2963 search results - page 459 / 593
» On the Integration of Web Modeling Languages
Sort
View
CAISE
2007
Springer
15 years 4 months ago
Generic Schema Merging
Schema merging is the process of integrating several schemas into a common, unified schema. There have been various approaches to schema mergusing on particular modeling languages...
Christoph Quix, David Kensche, Xiang Li 0002
EUROSYS
2010
ACM
15 years 4 months ago
XCPU3: Workload Distribution and Aggregation
The mainstream adoption of cluster, grid, and most recently cloud computing models have broadened the applicability of parallel programming from scientific communities to the bus...
Pravin Shinde, Eric Van Hensbergen
FDL
2003
IEEE
15 years 3 months ago
Using Symbolic Simulation for Bounded Property Checking
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
Jürgen Ruf, Prakash Mohan Peranandam, Thomas ...
ICRA
2002
IEEE
168views Robotics» more  ICRA 2002»
15 years 2 months ago
A Dynamical Systems Approach to Behavior-Based Formation Control
Dynamical systems theory is used here as a theoretical language and tool to design a distributed control archictecture that generates navigation in formation, integrated with obst...
Sergio Monteiro, Estela Bicho
ER
1999
Springer
155views Database» more  ER 1999»
15 years 2 months ago
XML-based Components for Federating Multiple Heterogeneous Data Sources
Several federated database systems have been built in the past using the relational or the object model as federating model. This paper gives an overview of the XMLMedia system, a ...
Georges Gardarin, Fei Sha, Tuyet-Tram Dang-Ngoc