810 search results - page 3 / 162 » Rule-based Model Extraction from Source Code |
CORR
2011
Springer
12 years 9 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
DILS
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Transparent information integration across distributed and heterogeneous data sources and computational tools is a prime concern for bioinformatics. Recently, there have ...
WEBI
2005
Springer
13 years 11 months ago
2005
Springer
DATE
2010
IEEE
13 years 11 months ago
2010
IEEE
—Synchronous languages offer a deterministic model of concurrency at the level of actions. However, essentially all compilers for synchronous languages compile these actions into...
IJCAI
1989
13 years 7 months ago
1989
This paper describes an attempt to model the method of generating a fact from the opinions of other persons or of institutions as a process which is based on knowledge about these...