8828 search results - page 1324 / 1766 » Formal methods in practice |
207
click to vote
RECOMB
2005
Springer
16 years 7 months ago
2005
Springer
Many important cellular response mechanisms are activated when a peptide binds to an appropriate receptor. In the immune system, the recognition of pathogen peptides begins when th...
202
click to vote
ICCAD
2003
IEEE
16 years 4 months ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...
214
click to vote
KDD
2009
ACM
16 years 1 months ago
2009
ACM
The pervasiveness of mobile devices and location based services is leading to an increasing volume of mobility data. This side effect provides the opportunity for innovative meth...
162
click to vote
ECOOP
2005
Springer
16 years 17 days ago
2005
Springer
Two object-oriented programming language paradigms— dynamic, prototype-based languages and multi-method languages— provide orthogonal benefits to software engineers. These two...
196
click to vote
ICLP
2005
Springer
16 years 17 days ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...