2944 search results - page 482 / 589 » Robust Semantic Construction |
169
click to vote
TPHOL
2009
IEEE
16 years 17 days ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...
175
click to vote
ADBIS
2009
Springer
16 years 16 days ago
2009
Springer
Continuous queries applied over nonterminating data streams usually specify windows in order to obtain an evolving –yet restricted– set of tuples and thus provide timely result...
187
click to vote
FM
2009
Springer
16 years 15 days ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
162
click to vote
SLE
2009
Springer
16 years 14 days ago
2009
Springer
Model Driven Engineering (MDE) is a promising paradigm for development. It raises the level of abstraction in software development by treating models as primary artifacts. The prac...
195
click to vote
DOLAP
2009
ACM
16 years 13 days ago
2009
ACM
Extract-Transform-Load (ETL) activities are software modules responsible for populating a data warehouse with operational data, which have undergone a series of transformations on...