7225 search results - page 256 / 1445 » Software is data too |
164
click to vote
SSIRI
2010
15 years 4 months ago
2010
— Model-based approaches, especially based on directed graphs (DG), are becoming popular for mutation testing as they enable definition of simple, nevertheless powerful, mutation...
136
click to vote
UIST
2010
ACM
15 years 3 months ago
2010
ACM
When browsing a long video using a traditional timeline slider control, its effectiveness and precision degrade as a video's length grows. When browsing videos with more fram...
172
click to vote
UIST
2010
ACM
15 years 3 months ago
2010
ACM
As networking moves into the home, home users are increasingly being faced with complex network management chores. Previous research, however, has demonstrated the difficulty many...
174
click to vote
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. This paper combines three topics to which Amir Pnueli contributed significantly: the semantics of languages for concurrency, the semantics of statecharts, and reactive an...
141
click to vote
ECLIPSE
2005
ACM
15 years 8 months ago
2005
ACM
Sharing mutable data (via aliasing) is a powerful programming technique. To facilitate sharing, object-oriented programming languages permit the programmer to selectively break en...