1153 search results - page 113 / 231 » Compositional Specification Calculus for Information Systems... |
135
click to vote
TSE
1998
15 years 3 months ago
1998
—Design and evaluation of groupware systems raise questions which do not have to be addressed in the context of single user systems. The designer has to take into account not onl...
138
click to vote
DESRIST
2009
Springer
15 years 1 months ago
2009
Springer
Design science research involves creating and evaluating innovative methods and approaches to be used in design practice. We present an approach to be used in the process of desig...
124
click to vote
INFORMATICALT
2006
15 years 3 months ago
2006
The quality of software engineering projects often suffers due to the large gap between the way stakeholders present their requirements and the way analysts capture and express tho...
173
click to vote
CORR
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
111
click to vote
MHCI
2009
Springer
15 years 10 months ago
2009
Springer
We present the development and evaluation of an authoring system for image-based pedestrian navigation which lets authors take pictures and annotate instructions on the go in thre...