2055 search results - page 146 / 411 » Generic Model Refactorings |
105
click to vote
WETICE
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents the results of a survey of requirements for attribute aggregation in authorisation systems, gathered from an international community of security professionals....
103
click to vote
CAV
1998
Springer
15 years 6 months ago
1998
Springer
The version of Kerberos presented by Burrows et al. [5] is fully mechanised using the Inductive Method. Two models are presented, allowing respectively the leak of any session keys...
COLING
2008
15 years 3 months ago
2008
Matching coreferent named entities without prior knowledge requires good similarity measures. Soft-TFIDF is a fine-grained measure which performs well in this task. We propose to ...
JCC
2008
15 years 1 months ago
2008
Abstract: Our goal is to develop accurate electrostatic models that can be implemented in current computational protein design protocols. To this end, we improve upon a previously ...
117
click to vote
JLP
2006
15 years 1 months ago
2006
Component-based software engineering needs to be backed by thorough formal concepts and modeling techniques. This paper combines two concepts introduced independently by the two a...