Sciweavers

6751 search results - page 241 / 1351
» Engineering Quality Requirements Using Quality Models
Sort
View
IMAGING
2000
15 years 3 months ago
Local Color Correction Using Non-Linear Masking
Tone reproduction is a key component in image quality and historically tone correction has been performed on a global basis for a given device or image. Several recent investigati...
Nathan Moroney
AOSD
2009
ACM
15 years 4 months ago
Modular verification of dynamically adaptive systems
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
Ji Zhang, Heather Goldsby, Betty H. C. Cheng
DATE
2010
IEEE
157views Hardware» more  DATE 2010»
15 years 7 months ago
RMOT: Recursion in model order for task execution time estimation in a software pipeline
Abstract—This paper addresses the problem of execution time estimation for tasks in a software pipeline independent of the application structure or the underlying architecture. A...
Nabeel Iqbal, M. A. Siddique, Jörg Henkel
190
Voted
ICSEA
2009
IEEE
14 years 11 months ago
Validation of Scenario-Based Business Requirements with Coloured Petri Nets
A scenario can be used to describe a possible instantiation of a given business use case and can be expressed for example as a list of steps written in natural language, or by an ...
Óscar R. Ribeiro, João M. Fernandes
130
Voted
EUROMICRO
1999
IEEE
15 years 6 months ago
Processing Requirements by Software Configuration Management
Short development life cycles, the importance of timeto-market and fast changes in technology influence the requirements engineering process. Requirements are exposed to changes d...
Ivica Crnkovic, Peter J. Funk, Magnus Larsson