4166 search results - page 492 / 834 » A modular module system |
172
click to vote
NDSS
2000
IEEE
15 years 11 months ago
2000
IEEE
We propose a host architecture for secure IP multicast. We identify the basic components of the architecture, describe their functionalities and how they interact with one another...
165
click to vote
AMAST
2000
Springer
15 years 11 months ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...
139
click to vote
ICAIL
1999
ACM
15 years 11 months ago
1999
ACM
Document drafting is a key component of legal expertise. E ective legal document drafting requires knowledge both of legal domain knowledge and of the structure of legal discourse...
152
click to vote
VL
1996
IEEE
15 years 10 months ago
1996
IEEE
An often-mentioned advantage of rule-based programming languages is that a program can be extended simply by adding a few more rules. In practice however, the rules tend to be dep...
170
click to vote
IEAAIE
1994
Springer
15 years 10 months ago
1994
Springer
In this paper we discuss the design and development of an interlingua for a large-scale MT project. We also discuss how the resulting KANT interlingua constrains complexity, suppo...