2446 search results - page 114 / 490 » Principles of dataspace systems |
CADE
1992
Springer
14 years 2 months ago
1992
Springer
Abstract. We exhibit a methodology for formulating and verifying metatheorems about deductive systems in the Elf language, an implementation of the LF Logical Framework with an ope...
VCHCI
1993
14 years 2 months ago
1993
This paper uses results from research in Clinical Information Systems (CIS) design, the psychology of clinical reasoning, and Ecological Interface Design (EID) to motivate general ...
SETN
2010
Springer
14 years 2 months ago
2010
Springer
The optimal sizing of a small autonomous hybrid power system can be a very challenging task, due to the large number of design settings and the uncertainty in key parameters. This ...
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
Creativity as modeled using the recluse genius paradigm fails to recognize the necessity and value of the collaborative aspects involved. Enhancing the creative output of teams wi...
VLDB
1995
ACM
14 years 2 months ago
1995
ACM
In this paper we present a prototype system for the management of earth science data which is novel in that it takes a DBMS centric view of the the task. Our prototype -- called &...