1940 search results - page 217 / 388 » Dependable Software: An Oxymoron |
151
click to vote
HAPTICS
2005
IEEE
16 years 4 days 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...
160
click to vote
PERVASIVE
2005
Springer
16 years 1 hour 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...
168
click to vote
FSTTCS
2003
Springer
15 years 11 months 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...
155
click to vote
ESOP
2010
Springer
15 years 11 months 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...
151
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Global asymptotic stabilization for a class of nonlinear systems is addressed. The dynamics of these systems are composed of a linear part to which is added some nonlinearities...