2055 search results - page 146 / 411 » Generic Model Refactorings |
118
Voted
WETICE
2006
IEEE
15 years 9 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....
119
Voted
CAV
1998
Springer
15 years 7 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...
75
Voted
COLING
2008
15 years 5 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 ...
108
click to vote
JCC
2008
15 years 3 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 ...
136
Voted
JLP
2006
15 years 3 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...