5456 search results - page 288 / 1092 » A study of Object Evolution |
117
click to vote
ENTCS
2002
15 years 4 months ago
2002
The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...
109
click to vote
HCI
2009
15 years 2 months ago
2009
This paper describes the design of ConvoCons, a system to promote affinity of group members working in a co-located multitouch environment. The research includes an exploratory stu...
151
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
We study cellular automata with respect to a new communication complexity problem: each of two players know half of some finite word, and must be able to tell whether the state o...
148
click to vote
SCL
2011
14 years 11 months ago
2011
This paper analyzes two classes of consensus algorithms in presence of bounded measurement errors. The considered protocols adopt an updating rule based either on constant or vani...
179
click to vote
ICSE
2011
IEEE-ACM
14 years 7 months ago
2011
IEEE-ACM
In this paper, we propose a new semantic clone detection e by comparing programs’ abstract memory states, which are computed by a semantic-based static analyzer. Our experimenta...