4752 search results - page 606 / 951 » Dependability in Web Software |
162
Voted
DATE
2005
IEEE
16 years 1 months ago
2005
IEEE
Structural testing techniques, such as statement and branch coverage, play an important role in improving dependability of software systems. However, finding a set of tests which...
180
click to vote
HAPTICS
2005
IEEE
16 years 1 months ago
2005
IEEE
In this paper we present a software approach to managing complexity for haptic rendering of large-scale geometric models, consisting of tens to hundreds of thousands of distinct g...
198
click to vote
PERVASIVE
2005
Springer
16 years 1 months ago
2005
Springer
This paper studies the use of a Bluetooth enabled mobile phone as a controlling device in a smart environment. Main focus for the work is partitioning of the functionality and the...
204
click to vote
FSTTCS
2003
Springer
16 years 24 days ago
2003
Springer
Recently, Jain, Mahdian and Saberi [5] had given a FPTAS for the problem of computing a market equilibrium in the Arrow-Debreu setting, when the utilities are linear functions. The...
180
click to vote
ESOP
2010
Springer
16 years 21 days ago
2010
Springer
Abstract. The hiding of internal invariants creates a mismatch between procedure specifications in an interface and proof obligations on the implementations of those procedures. T...