7835 search results - page 443 / 1567 » Software are Processes Too |
207
click to vote
SSIRI
2010
15 years 6 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...
167
click to vote
UIST
2010
ACM
15 years 5 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...
214
Voted
UIST
2010
ACM
15 years 5 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...
214
click to vote
BIRTHDAY
2010
Springer
15 years 5 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...
260
click to vote
ICST
2011
IEEE
14 years 11 months ago
2011
IEEE
User input validation is a technique to counter attacks on web applications. In typical client-server architectures, this validation is performed on the client side. This is ineff...