Sciweavers

3077 search results - page 450 / 616
» Design Principles for Application Integration
Sort
View
ER
2001
Springer
163views Database» more  ER 2001»
15 years 9 months ago
Towards Ontologically Based Semantics for UML Constructs
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Unified Modeli...
Joerg Evermann, Yair Wand
ICCD
2000
IEEE
120views Hardware» more  ICCD 2000»
15 years 9 months ago
Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
Viresh Paruthi, Andreas Kuehlmann
NGITS
1999
Springer
15 years 9 months ago
Multiplex: A Formal Model for Multidatabases and Its Implementation
The integration of information from multiple databases has been an enduring subject of research for over 20 years, and many different solutions have been attempted or proposed. Mis...
Amihai Motro
WEBDB
1998
Springer
83views Database» more  WEBDB 1998»
15 years 9 months ago
On the Unification of Persistent Programming and the World Wide Web
In its infancy, the World-Wide Web consisted of a web of largely static hypertext documents. As time progresses it is evolving into a domain which supports almost arbitrary network...
Richard C. H. Connor, Keith Sibson, Paolo Manghi
KI
1997
Springer
15 years 9 months ago
Fast Grid-Based Position TRacking for Mobile Robots
One of the fundamental problems in the eld of mobile robotics is the estimation of the robot's position in the environment. Position probability grids have been proven to be a...
Wolfram Burgard, Dieter Fox, Daniel Hennig