Sciweavers

3302 search results - page 297 / 661
» Software Is More Than Code
Sort
View
171
Voted
KBSE
2002
IEEE
15 years 11 months ago
Adapting Applications on the Fly
Traditionally, an application has to be stopped to be adapted. This approach is not suitable for critical systems that have to be non-stop and highly available like bank, internet...
Abdelmadjid Ketfi, Noureddine Belkhatir, Pierre-Yv...
ICSE
2001
IEEE-ACM
15 years 11 months ago
A Scalable Formal Method for Design and Automatic Checking of User Interfaces
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
Jean Berstel, Stefano Crespi-Reghizzi, Gilles Rous...
AGILEDC
2003
IEEE
16 years 17 hour ago
YP and Urban Simulation: Applying an Agile Programming Methodology in a Politically Tempestuous Domain
YP is an agile programming methodology that has evolved over the past 15 years. Many of its features are common to other agile methodologies; its novel features include using a hi...
Bjørn N. Freeman-Benson, Alan Borning
ICIP
2006
IEEE
16 years 8 months ago
Practical Wyner-Ziv Switching Scheme for Multiple Bit-Rate Video Streaming
In this paper, we propose a novel bit-stream switching scheme for the multiple bit-rate (MBR) video streaming, in which a Wyner-Ziv coded frame is used to overcome the mismatch be...
Mei Guo, Yan Lu, Feng Wu, Debin Zhao, Wen Gao
156
Voted
ICCAD
2007
IEEE
137views Hardware» more  ICCAD 2007»
16 years 3 months ago
Combining static and dynamic defect-tolerance techniques for nanoscale memory systems
Abstract— Nanoscale technology promises dramatically increased device density, but also decreased reliability. With bit error rates projected to be as high as 10%, designing a us...
Susmit Biswas, Gang Wang, Tzvetan S. Metodi, Ryan ...