Sciweavers

445 search results - page 57 / 89
» A Systematic Construction of Abstract Domains
Sort
View
FASE
2009
Springer
14 years 1 months ago
Problem-Oriented Documentation of Design Patterns
In order to retrieve, select and apply design patterns in a tool-supported way, we suggest to construct and document a problemcontext pattern that reflects the essence of the prob...
Alexander Fülleborn, Klaus Meffert, Maritta H...
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
14 years 1 months ago
Verifying UML/OCL models using Boolean satisfiability
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Mart...
CGI
1998
IEEE
14 years 1 months ago
An Object-Oriented Approach to Model Scenes of Buildings
This paper presents an object-oriented approach for describing and modelling buildings by means of computer graphics. The approach is based on an object- and component-oriented gr...
Thierry Matthey, Hanspeter Bieri
IAT
2009
IEEE
14 years 20 days ago
Efficient Distributed Bayesian Reasoning via Targeted Instantiation of Variables
Abstract--This paper is focusing on exact Bayesian reasoning in systems of agents, which represent weakly coupled processing modules supporting collaborative inference through mess...
Patrick de Oude, Gregor Pavlin
ESWS
2006
Springer
14 years 14 days ago
Community-Driven Ontology Matching
Abstract. We extend the notion of ontology matching to community-driven ontology matching. Primarily, the idea is to enable Web communities to establish and reuse ontology mappings...
Anna V. Zhdanova, Pavel Shvaiko