1536 search results - page 241 / 308 » The Underlying Logic of Hoare Logic |
168
click to vote
MTSR
2007
Springer
16 years 9 days ago
2007
Springer
In this paper we describe the development of an ontology of molecular and phenotypic cereals data, realized by integrating existing public web databases with the database developed...
167
click to vote
PRIMA
2007
Springer
16 years 8 days ago
2007
Springer
Multiagent Systems are potential computational systems for various practical applications, tools, and so on. Multiagent simulation is one of the remarkable application to evaluate ...
184
click to vote
TACAS
2007
Springer
16 years 8 days ago
2007
Springer
ion Randal E. Bryant1 , Daniel Kroening2 , Jo¨el Ouaknine3 , Sanjit A. Seshia4 , Ofer Strichman5 , and Bryan Brady4 1 Carnegie Mellon University, Pittsburgh 2 ETH Z¨urich 3 Oxfor...
155
click to vote
TCC
2007
Springer
16 years 8 days ago
2007
Springer
We prove a computational soundness theorem for symmetric-key encryption protocols that can be used to analyze security against adaptively corrupting adversaries (that is, adversar...
162
click to vote
ICAS
2006
IEEE
16 years 6 days ago
2006
IEEE
— We target the problem of predicting resource usage in situations where the modeling data is scarce, non-stationary, or expensive to obtain. This scenario occurs frequently in c...