Sciweavers

10274 search results - page 1762 / 2055
» Lean Software Development
Sort
View
OOPSLA
2004
Springer
16 years 1 days ago
Finding bugs is easy
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...
David Hovemeyer, William Pugh
PCM
2004
Springer
112views Multimedia» more  PCM 2004»
16 years 23 hour ago
A Study on the Quantization Scheme in H.264/AVC and Its Application to Rate Control
Compared with previous video coding standards, H.264/AVC employs a division-free quantization scheme. The relation between quantization parameter and quantization step changes from...
Siwei Ma, Wen Gao, Debin Zhao, Yan Lu
188
Voted
PRIMA
2004
Springer
16 years 21 hour ago
Modeling e-Procurement as Co-adaptive Matchmaking with Mutual Relevance Feedback
This paper proposes a new e-procurement model for a large number of buyers and sellers interacting via the Internet. The goal of e-procurement is to create a satisfactory match bet...
Reiko Hishiyama, Toru Ishida
SBIA
2004
Springer
16 years 19 hour ago
Reasoning About Requirements Evolution Using Clustered Belief Revision
During the development of system requirements, software system specifications are often inconsistent. Inconsistencies may arise for different reasons, for example, when multiple...
Odinaldo Rodrigues, Artur S. d'Avila Garcez, Aless...
UIALL
2004
Springer
16 years 16 hour ago
A Framework for Context-Sensitive Coordination of Human Interruptions in Human-Computer Interaction
Abstract. Recent trends in software development directed toward intelligence, distribution, and mobility need to be followed by an increased sophistication in user interface design...
Sonja Gievska, John L. Sibert
« Prev « First page 1762 / 2055 Last » Next »