549 search results - page 27 / 110 » Verification condition generation for conditional informatio... |
100
Voted
CORR
2010
Springer
15 years 18 days ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
120
Voted
SP
2002
IEEE
15 years 4 days ago
2002
IEEE
We describe a method for finding security flaws in source code by way of static analysis. The method is notable because it allows a user to specify a wide range of security proper...
89
Voted
SIGIR
2009
ACM
15 years 7 months ago
2009
ACM
Most existing automatic taxonomy induction systems exploit one or more features to induce a taxonomy; nevertheless there is no systematic study examining which are the best featur...
108
Voted
TCBB
2008
15 years 12 days ago
2008
Recently, the concept of mutual information has been proposed for inferring the structure of genetic regulatory networks from gene expression profiling. After analyzing the limitat...
93
Voted
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
The ability to coordinate effectively is critical for agents to accomplish their goals in a multi-agent system. A number of researchers have modeled the coordination problem for m...