828 search results - page 79 / 166 » A New Model of Program Dependences for Reverse Engineering |
SIGSOFT
2010
ACM
13 years 7 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
B
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
ICTIR
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. An open challenge in information distillation is the evaluation and optimization of the utility of ranked lists with respect to flexible user interactions over multiple ...
WEBI
2010
Springer
13 years 7 months ago
2010
Springer
Abstract--Search engines have greatly influenced the way people access information on the Internet as such engines provide the preferred entry point to billions of pages on the Web...
ICSE
2007
IEEE-ACM
14 years 9 months ago
2007
IEEE-ACM
Linux distributions often include package management tools such as apt-get in Debian or yum in RedHat. Using information about package dependencies and conflicts, such tools can d...