3604 search results - page 507 / 721 » Relation rule mining |
235
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
177
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
When enriching the λ-calculus with rewriting, union types may be needed to type all strongly normalizing terms. However, with rewriting, the elimination rule (∨ E) of union typ...
172
click to vote
BTW
2007
Springer
16 years 1 months ago
2007
Springer
: Model Management aims at developing new technologies and mechanisms to support the integration, evolution and matching of models. Such tasks are to be performed by means of a set...
170
click to vote
COORDINATION
2007
Springer
16 years 1 months ago
2007
Springer
Our aim is to define the kernel of a simple and uniform programming model—the reactor model—suitable for building and evolving internet-scale programs. A reactor consists of t...
183
click to vote
MIDDLEWARE
2007
Springer
16 years 1 months ago
2007
Springer
Developing applications for sensor networks is a challenging task. Most programming systems narrowly focus on programming issues while ignoring that programming represents only a ...