4752 search results - page 280 / 951 » Dependability in Web Software |
182
click to vote
TSE
2010
15 years 1 months ago
2010
Recent advances in mechanical techniques for systematic testing have increased our ability to automatically find subtle bugs, and hence to deploy more dependable software. This pap...
167
click to vote
KBSE
2007
IEEE
16 years 26 days ago
2007
IEEE
Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be ...
204
click to vote
EWSN
2008
Springer
16 years 6 months ago
2008
Springer
Wireless Sensor Networks (WSNs) are increasingly being proposed in scenarios whose requirements cannot be fully predicted, or where the system functionality must adapt to changing ...
223
click to vote
ESTIMEDIA
2009
Springer
16 years 1 months ago
2009
Springer
—Real-time encoding of high-definition H.264 video is a challenge to current embedded programmable processors. Emerging stream processing methods supported by most GPUs and progr...
161
click to vote
CAV
2007
Springer
16 years 23 days ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...