6581 search results - page 472 / 1317 » Formalizing Design Patterns |
161
Voted
APLAS
2006
ACM
16 years 13 days ago
2006
ACM
We define and study a distributed cryptographic implementation for an asynchronous pi calculus. At the source level, we adapt simple type systems designed for establishing formal ...
158
Voted
HICSS
2005
IEEE
16 years 2 days ago
2005
IEEE
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...
178
click to vote
ICCD
2005
IEEE
16 years 2 days ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
176
Voted
OTM
2005
Springer
15 years 12 months ago
2005
Springer
There are many problems requiring a semantic account of a database schema. At its best, such an account consists of mapping formulas between the schema and a formal conceptual mode...
188
click to vote
ICDM
2003
IEEE
15 years 11 months ago
2003
IEEE
Machine learning techniques for data extraction from semistructured sources exhibit different precision and recall characteristics. However to date the formal relationship between...