7167 search results - page 190 / 1434 » A Technique for Invariant Generation |
203
click to vote
SIGMOD
2011
ACM
14 years 10 months ago
2011
ACM
In this paper, we introduce U-MAP, a new system for schema mapping generation. U-MAP builds upon and extends existing schema mapping techniques. However, it mitigates some key pro...
292
click to vote
ITNG
2008
IEEE
16 years 1 months ago
2008
IEEE
Semantic Analysis is a business analysis method designed to capture user requirements and represent them as text or in a graph that is called Ontology Chart. Ontology Charts can b...
209
click to vote
MMSP
2008
IEEE
16 years 1 months ago
2008
IEEE
—1 The composition of panoramic images has recently received considerable attention. While panoramic images were first used mainly as a flexible visualization technique, they a...
167
click to vote
COMPSAC
2006
IEEE
16 years 1 months ago
2006
IEEE
Combinatorial covering arrays have been used in several testing approaches. This paper first discusses some existing methods for finding such arrays. Then a SAT-based approach a...
202
click to vote
COMPSAC
2005
IEEE
16 years 24 days ago
2005
IEEE
Web services and service-oriented architecture are emerging technologies that are changing the way we develop and use computer software. Due to the standardization of web services...