3889 search results - page 591 / 778 » The Use of Program Dependence Graphs in Software Engineering |
150
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
142
click to vote
WWW
2003
ACM
16 years 5 months ago
2003
ACM
In a ubiquitous computing environment, it is desirable to provide a user with information depending on a user's situation, such as time, location, user behavior, and social c...
127
click to vote
UIST
2009
ACM
15 years 11 months ago
2009
ACM
Triggering shortcuts or actions on a mobile device often requires a long sequence of key presses. Because the functions of buttons are highly dependent on the current applicationâ...
135
click to vote
COMPSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Building open distributed systems is an even more challenging task than building distributed systems, as their components are loosely synchronised, can move, become disconnected, ...
136
click to vote
QSIC
2007
IEEE
15 years 10 months ago
2007
IEEE
Web application testers need automated, effective approaches to validate the test results of complex, evolving web applications. In previous work, we developed a suite of automate...