Sciweavers

7580 search results - page 1376 / 1516
» Prometheus design tool
Sort
View
CHI
2010
ACM
15 years 2 months ago
The life and times of files and information: a study of desktop provenance
In the field of Human-Computer Interaction, provenance refers to the history and genealogy of a document or file. Provenance helps us to understand the evolution and relationships...
Carlos Jensen, Heather Lonsdale, Eleanor Wynn, Jil...
DIS
2010
Springer
15 years 2 months ago
An Artificial Experimenter for Enzymatic Response Characterisation
Identifying the characteristics of biological systems through physical experimentation, is restricted by the resources available, which are limited in comparison to the size of the...
Chris Lovell, Gareth Jones, Steve R. Gunn, Klaus-P...
DLOG
2010
15 years 2 months ago
Checking Full Satisfiability of Conceptual Models
Abstract. UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constr...
Alessandro Artale, Diego Calvanese, Yazmin Ang&eac...
EDBTW
2010
Springer
15 years 2 months ago
A decision support system to improve e-learning environments
Nowadays, due to the lack of face-to-face contact, distance course instructors have real difficulties knowing who their students are, how their students behave in the virtual cour...
Marta E. Zorrilla, Diego García, Elena &Aac...
ER
2010
Springer
132views Database» more  ER 2010»
15 years 2 months ago
Full Satisfiability of UML Class Diagrams
UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constraints expr...
Alessandro Artale, Diego Calvanese, Yazmin Ang&eac...
« Prev « First page 1376 / 1516 Last » Next »