Sciweavers

1040 search results - page 136 / 208
» The Role of Controlled Experiments in Software Engineering R...
Sort
View
111
Voted
REFSQ
2007
Springer
15 years 10 months ago
Towards a Tomographic Framework for Structured Observation of Communicative Behaviour in Hospital Wards
Abstract. The research presented in this paper investigates how observation of information- and communication-intensive work in hospital wards can be used to produce requirements f...
Inger Dybdahl Sørby, Øystein Nytr&os...
UIST
2005
ACM
15 years 10 months ago
DTLens: multi-user tabletop spatial data exploration
Supporting groups of individuals exploring large maps and design diagrams on interactive tabletops is still an open research problem. Today’s geospatial, mechanical engineering ...
Clifton Forlines, Chia Shen
128
Voted
CSEE
2007
Springer
15 years 10 months ago
Electronic Portfolios through a Qualitative Lens
This report illustrates the use of qualitative methods and an interpretive framework (Cultural Historical Activity Theory) to examine educational interventions. The techniques are...
Rebecca L. Fiedler, Cem Kaner
STTT
2010
116views more  STTT 2010»
14 years 11 months ago
LTL satisfiability checking
Abstract. We report here on an experimental investigation of LTL satisfiability checking via a reduction to model checking. By using large LTL formulas, we offer challenging model-...
Kristin Y. Rozier, Moshe Y. Vardi
CCE
2004
15 years 4 months ago
Workflow and information centered support of design processes - the IMPROVE perspective
Design process excellence is considered a major differentiating factor between competing enterprises since it determines the constraints within which plant operation and supply ch...
Wolfgang Marquardt, Manfred Nagl