2324 search results - page 197 / 465 » Benchmark Generation Using Domain Specific Modeling |
146
click to vote
FLAIRS
2004
15 years 7 months ago
2004
The wealth of information contained in the world-wide web has created much interest in systems for integrating information from multiple sites. We describe a universal wrapper mac...
177
click to vote
ACSD
2007
IEEE
15 years 8 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...
179
click to vote
DEBS
2003
ACM
15 years 11 months ago
2003
ACM
Publish/subscribe infrastructures, specifically notification servers, are used in a large spectrum of distributed applications as their basic communication and integration infrast...
167
click to vote
ANSS
2001
IEEE
15 years 10 months ago
2001
IEEE
Simulation software has made great advances in recent years along the dimensions of modeling capabilities, animated graphics, and ease of use. There have also been real improvemen...
169
click to vote
ER
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we demonstrate an automatic approach for emergent semantics modeling of ontologies. We follow the collaborative ontology construction method without the direct intera...