Sciweavers

648 search results - page 50 / 130
» Software requirements validation via task analysis
Sort
View
EMO
2005
Springer
107views Optimization» more  EMO 2005»
14 years 3 months ago
Multiobjective Water Pinch Analysis of the Cuernavaca City Water Distribution Network
Water systems often allow efficient water uses via water reuse and/or recirculation. Defining the network layout connecting water-using processes is a complex problem which involv...
Carlos E. Mariano-Romero, Víctor Alcocer-Ya...
ISESE
2002
IEEE
14 years 2 months ago
Conducting Realistic Experiments in Software Engineering
An important goal of most empirical software engineering research is the transfer of research results to industrial applications. Two important obstacles for this transfer are the...
Dag I. K. Sjøberg, Bente Anda, Erik Arishol...
ICCD
2002
IEEE
141views Hardware» more  ICCD 2002»
14 years 6 months ago
Embedded Operating System Energy Analysis and Macro-Modeling
A large and increasing number of modern embedded systems are subject to tight power/energy constraints. It has been demonstrated that the operating system (OS) can have a signifi...
Tat Kee Tan, Anand Raghunathan, Niraj K. Jha
ISVC
2010
Springer
13 years 8 months ago
Visual Exploration of Stream Pattern Changes Using a Data-Driven Framework
Abstract. When using visualization techniques to explore data streams, an important task is to convey pattern changes. Challenges include: (1) Most data analysis tasks require user...
Zaixian Xie, Matthew O. Ward, Elke A. Rundensteine...
FM
2003
Springer
104views Formal Methods» more  FM 2003»
14 years 3 months ago
Proving the Shalls
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
Steven P. Miller, Alan C. Tribble, Mats Per Erik H...