1412 search results - page 173 / 283 » The Value of Outsourced Software |
VMCAI
2005
Springer
14 years 3 months ago
2005
Springer
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...
VMCAI
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
AOSD
2004
ACM
14 years 3 months ago
2004
ACM
It is generally accepted that early determination of the stakeholder requirements assists in the development of systems that better meet the needs of those stakeholders. General s...
CSCW
2004
ACM
14 years 3 months ago
2004
ACM
This paper describes the design and deployment of a collaborative software tool, designed for and presently in use on the Mars Exploration Rovers (MER) 2003 mission. Two central q...
IHM
2004
ACM
14 years 3 months ago
2004
ACM
Timelines are recurrently used to design visualization techniques of temporal data. In this paper, we present our perspective wall timeline to visualize temporal values. We illust...