1772 search results - page 345 / 355 » The Model Coupling Toolkit |
109
click to vote
KYOTODL
2000
15 years 10 days ago
2000
Today, bibliographical information is kept in a variety of digital libraries available on the Internet. The integration of bibliographical data is considered as one of the most im...
120
click to vote
KRDB
1997
15 years 9 days ago
1997
A data warehouse is a redundant collection of data replicated from several possibly distributed and loosely coupled source databases, organized to answer OLAP queries. Relational ...
107
click to vote
WEBNET
1997
15 years 9 days ago
1997
The health care industry in the United States has been experiencing substantial and ever increasing cost pressures. At the same time, many forces are revolutionizing the way healt...
119
click to vote
ICFP
2010
ACM
15 years 1 days ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
89
Voted
BIRTHDAY
2010
Springer
14 years 11 months ago
2010
Springer
The title of this paper, besides being a pun, can be taken to mean either the frontier of research in graph transformation, or the advantage of using graph transformation. To focus...