Sciweavers

10379 search results - page 1779 / 2076
» The Chaos of Software Development
Sort
View
OOPSLA
2004
Springer
16 years 3 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 3 days 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
190
Voted
PRIMA
2004
Springer
16 years 3 days 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 2 days 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 2 days 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 1779 / 2076 Last » Next »