5518 search results - page 63 / 1104 » Rule-Based Service Modeling |
157
Voted
WSC
2004
15 years 8 months ago
2004
182
click to vote
TASE
2008
IEEE
16 years 28 days ago
2008
IEEE
This paper builds a bridge between permissions and ownership types. Ownership is a recognized alias control technique. With ownership, each object is assigned an owner and any acc...
183
click to vote
CSFW
2006
IEEE
16 years 19 days ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
168
click to vote
FORTE
2003
15 years 8 months ago
2003
Abstract. Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-...
151
click to vote
IJCAI
1989
15 years 7 months ago
1989
In this paper a knowledge based assembly control system for automobile manufacturing is presented which has been implemented for the B M W manufacturing facilities in Munich. The ...