1054 search results - page 146 / 211 » Using Component Abstraction for Automatic Generation of Macr... |
IJWET
2010
14 years 8 months ago
2010
: To aid job seekers searching for job vacancies, we have developed a new configurable meta-search engine for the human resources domain. In this paper we describe the three main c...
118
click to vote
PVLDB
2010
14 years 8 months ago
2010
One of the main steps towards integration or exchange of data is to design the mappings that describe the (often complex) relationships between the source schemas or formats and t...
178
click to vote
PADL
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
ITRUST
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Question answering systems users may find answers without any supporting information insufficient for determining trust levels. Once those question answering systems beg...
ICST
2008
IEEE
15 years 4 months ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...