5550 search results - page 954 / 1110 » Different Approaches to Proof Systems |
182
click to vote
SC
2005
ACM
16 years 4 days ago
2005
ACM
The development of complex scientific applications for high-end systems is a challenging task. Addressing complexity of the involved software and algorithms is becoming increasing...
187
Voted
SOFTVIS
2005
ACM
16 years 4 days ago
2005
ACM
During the life cycle of a software system, the source code is changed many times. We study how developers can be enabled to get insight in these changes, in order to understand t...
172
click to vote
VRST
2005
ACM
16 years 4 days ago
2005
ACM
This paper considers the utility of VR in the design of the interface to a space-based telerobotic manipulator. An experiment was conducted to evaluate the potential for improved ...
154
click to vote
XIMEP
2005
ACM
16 years 4 days ago
2005
ACM
Building an XML store means finding solutions to the problems of representing, accessing, querying and updating XML data. The irregularity of both the structure and usage of XML, ...
158
click to vote
DSOM
2005
Springer
16 years 4 days ago
2005
Springer
This paper deals with a shared server environment where the server is divided into a number of resource partitions and used to host multiple applications at the same time. In a cas...