5251 search results - page 368 / 1051 » A Framework for Ontology Integration |
183
click to vote
ITP
2010
15 years 10 months ago
2010
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle/HOL formalizations and generating efficient functi...
214
Voted
DEXAW
2000
IEEE
15 years 10 months ago
2000
IEEE
Over the last few years, the importance of mobile computing as been steadily increasing. While it is important to provide support for accessing databases in disconnected computing...
187
Voted
WSC
2007
15 years 9 months ago
2007
High performance data grids are increasingly becoming popular platforms to support data-intensive applications. Reducing high energy consumption caused by data grids is a challeng...
158
click to vote
BNCOD
2003
15 years 8 months ago
2003
The DynaQuest-Framework should reduce the effort for the creation of Internet-based virtual databases. These virtual databases are a special kind of federated database systems whe...
156
click to vote
CRIWG
2003
15 years 8 months ago
2003
Unexpected exceptions in WfMS are situations not predicted during the design phase. Human involvement in handling this type of exceptions has been recognized to be a crucial factor...