Sciweavers

2682 search results - page 202 / 537
» An Iterative-Cyclic Software Process Model
Sort
View
KES
2007
Springer
15 years 9 months ago
Assisting Dialogical Agents Modeled from Novice User's Perceptions
This paper is based on the idea of integrating the actual cognitive features of novice users at the core of the design process of the software applications in order to significantl...
David Leray, Jean-Paul Sansonnet
FSEN
2007
Springer
15 years 9 months ago
Adapting the UPPAAL Model of a Distributed Lift System
Abstract. Groote, Pang and Wouters (2001) analyzed an existing distributed lift system using the process algebraic toolset µCRL. Pang, Karstens and Fokkink (2003) analyzed a redes...
Wan Fokkink, Allard Kakebeen, Jun Pang
WETICE
1998
IEEE
15 years 7 months ago
Flexible Handling of Work Processes by Situation-Dependent Support Strategies
Although work pr ocesses, like software pr ocesses, include a number of process aspects such as defined phases and deadlines, they are not plannable in detail. Howe ver, the advan...
Gert Faustmann
ICIP
2009
IEEE
15 years 24 days ago
Model based analysis for quantization parameter cascading in hierarchical video coding
Originally, the hierarchical coding structure was proposed to achieve temporal scalability. Soon after, it was realized that with a proper quantization parameter cascading (QPC) s...
Xiang Li, Peter Amon, Andreas Hutter, André...
SIGSOFT
2003
ACM
16 years 3 months ago
Towards scalable compositional analysis by refactoring design models
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
Yung-Pin Cheng, Michal Young, Che-Ling Huang, Chia...