2253 search results - page 290 / 451 » An Approach to Specifying Software Frameworks |
132
click to vote
UIST
2009
ACM
15 years 11 months ago
2009
ACM
We present Sikuli, a visual approach to search and automation of graphical user interfaces using screenshots. Sikuli allows users to take a screenshot of a GUI element (such as a ...
136
click to vote
IUI
2006
ACM
15 years 10 months ago
2006
ACM
In this paper we present a novel system for monitoring a computer user’s posture and activities in front of the computer (e.g., reading, speaking on the phone, etc.) for self-re...
124
click to vote
PPOPP
2006
ACM
15 years 10 months ago
2006
ACM
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
153
click to vote
SEW
2003
IEEE
15 years 9 months ago
2003
IEEE
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...
162
click to vote
EUROMICRO
2000
IEEE
15 years 9 months ago
2000
IEEE
The Automated Production Systems (APS) are composed of concurrent interacting entities. Then any model should exhibit parallel and sequential behaviours. The Grafcet is now well e...