3799 search results - page 495 / 760 » An Engineering Approach to Formal Methods |
256
click to vote
SEKE
2009
Springer
16 years 1 months ago
2009
Springer
Most existing software optimization research assumes advance knowledge of the component parameters. Perfect future knowledge of fault detection is an unnecessary oversimplificati...
169
click to vote
CSSE
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we present three embedding schemes for extensions of least significant bit overwriting to both of the two lowest bit planes in digital images. Our approaches are in...
160
click to vote
SEFM
2008
IEEE
16 years 1 months ago
2008
IEEE
We present an approach to find upper bounds of heap space for Java Card applets. Our method first transforms an input bytecode stream into a control flow graph (CFG), and then ...
208
click to vote
AGILEDC
2007
IEEE
16 years 1 months ago
2007
IEEE
Agile methodologies represent a ‘people’ centered approach to delivering software. This paper investigates the social processes that contribute to their success. Qualitative g...
149
click to vote
KBSE
2007
IEEE
16 years 28 days ago
2007
IEEE
We present a divide-and-conquer method, called DiConic, for automatic addition of failsafe fault-tolerance to distributed programs, where a failsafe program guarantees to meet its...