2501 search results - page 164 / 501 » Obligations and Their Interaction with Programs |
179
Voted
SOFTVIS
2005
ACM
16 years 17 days 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...
177
click to vote
BIRTHDAY
2005
Springer
16 years 17 days 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...
179
Voted
NORDICHI
2004
ACM
16 years 13 days 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 ...
138
click to vote
IUI
2003
ACM
16 years 8 days 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'...
205
Voted
CHARME
2003
Springer
16 years 7 days 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...