2501 search results - page 164 / 501 » Obligations and Their Interaction with Programs |
152
click to vote
SOFTVIS
2005
ACM
15 years 10 months ago
2005
ACM
Large software projects often require a programmer to make changes to unfamiliar source code. This paper presents the results of a formative observational study of seven professio...
146
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
We explore the connection between term rewriting systems (TRS) and aspect-oriented programming (AOP). Term rewriting is a paradigm that is used in fields such as program transform...
135
click to vote
NORDICHI
2004
ACM
15 years 10 months ago
2004
ACM
This paper reports on a study which compared two tools for tracking the focus of visual attention - a remote eye tracker and the Restricted Focus Viewer (RFV). The RFV tool blurs ...
106
click to vote
IUI
2003
ACM
15 years 10 months ago
2003
ACM
In this paper we propose to apply emergent collective behavior ideas to automatically program Internet multichannel radio stations. The proposed model simulates n virtual Dj'...
158
click to vote
CHARME
2003
Springer
15 years 10 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...