15779 search results - page 2615 / 3156 » Change-oriented software engineering |
142
click to vote
CHI
2004
ACM
16 years 4 months ago
2004
ACM
Working as a usability professional in the open source arena is a challenging task. The decentralized and engineering-driven approach of open source projects can be at odds with c...
122
click to vote
CHI
2004
ACM
16 years 4 months ago
2004
ACM
Currently there is a lack of explicit theories and few detailed guidelines to support the development of Mixed Reality (MR) technology and its varied applications. This research f...
243
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
This paper contributes to the development of techniques for the modular proof of programs that include concurrent algorithms. We present a proof of a non-blocking concurrent algor...
257
click to vote
POPL
2004
ACM
16 years 4 months ago
2004
ACM
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...
222
click to vote
SIGMOD
2005
ACM
16 years 4 months ago
2005
ACM
In this paper we look at the application of XML data management support in scientific data analysis workflows. We describe a software infrastructure that aims to address issues as...