Sciweavers

215 search results - page 25 / 43
» A Case Study on Artefact-Based RE Improvement in Practice
Sort
View
96
Voted
CHI
2005
ACM
16 years 25 days ago
Testing the media equation with children
Designers of children's technology are often more interested in user motivation than those who design systems for adults. Since children's technology often has aims such...
Sonia Chiasson, Carl Gutwin
ESA
2004
Springer
143views Algorithms» more  ESA 2004»
15 years 5 months ago
Data Migration on Parallel Disks
Our work is motivated by the problem of managing data on storage devices, typically a set of disks. Such storage servers are used as web servers or multimedia servers, for handling...
Leana Golubchik, Samir Khuller, Yoo Ah Kim, Svetla...
CBSQ
2003
Springer
15 years 5 months ago
Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon
CORR
2010
Springer
119views Education» more  CORR 2010»
14 years 9 months ago
On Probabilistic Parallel Programs with Process Creation and Synchronisation
We initiate the study of probabilistic parallel programs with dynamic process creation and synchronisation. To this end, we introduce probabilistic split-join systems (pSJSs), a mo...
Stefan Kiefer, Dominik Wojtczak
100
Voted
DS
1997
104views Database» more  DS 1997»
15 years 1 months ago
Managing Constraint Violations in Administrative Information Systems
This paper motivates a comprehensive methodological framework for dealing with some aspects of real-world complexity in information system analysis and design. By complex applicat...
I. Boydens, Alain Pirotte, Esteban Zimányi