Sciweavers

2373 search results - page 4 / 475
» Towards a Model of Computer Systems Research
Sort
View
IWFM
2003
172views Formal Methods» more  IWFM 2003»
14 years 11 months ago
On Continuous Models of Computation: Towards Computing the Distance Between (Logic) Programs
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
Anthony Karel Seda, Máire Lane
ICSOC
2009
Springer
14 years 7 months ago
Future Research Topics in Enterprise Architecture Management - A Knowledge Management Perspective
Identifying, gathering, and maintaining information on the current, planned, and target states of the architecture of an enterprise is one major challenge of enterprise architectur...
Sabine Buckl, Florian Matthes, Christian M. Schwed...
EXPCS
2007
15 years 1 months ago
The user in experimental computer systems research
Experimental computer systems research typically ignores the end-user, modeling him, if at all, in overly simple ways. We argue that this (1) results in inadequate performance eva...
Peter A. Dinda, Gokhan Memik, Robert P. Dick, Bin ...
CHI
2002
ACM
15 years 9 months ago
"I'd be overwhelmed, but it's just one more thing to do": availability and interruption in research management
Many CSCW projects dealing with individual availability and interruption filtering achieve only limited success. Perhaps this is because designers of such systems have limited evi...
James M. Hudson, Jim Christensen, Wendy A. Kellogg...
AIED
2007
Springer
15 years 1 months ago
Towards promoting meta-cognition using emotive interface personas within Open-Learner Modelling Environments
: The use of Open-Learner Modelling (OLM) within Intelligent Learning Environments is becoming more common. By allowing learners a greater control over their learning experience, O...
Sylvie Girard