881 search results - page 155 / 177 » A Cohesion Measure for Aspects |
204
click to vote
ACL2
2006
ACM
15 years 11 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
142
click to vote
ASSETS
2006
ACM
15 years 11 months ago
2006
ACM
Mouse control has become a crucial aspect of many modern day computer interactions. This poses a challenge for individuals with motor impairments or those whose use of hands are r...
176
Voted
CSCW
2006
ACM
15 years 11 months ago
2006
ACM
We evaluate response times, in N-user collaborations, of the popular centralized (client-server) and replicated (peer-to-peer) architectures, and a hybrid architecture in which ea...
141
click to vote
HRI
2006
ACM
15 years 11 months ago
2006
ACM
Along with the development of interactive robots, controlled experiments and field trials are regularly conducted to stage human-robot interaction. Experience in this field has sh...
189
Voted
MMSEC
2006
ACM
15 years 11 months ago
2006
ACM
In this paper, we introduce to the special domain of image annotation watermarking, based on embedding of hierarchical data related to objects into user-selected areas on an image...