3259 search results - page 166 / 652 » Modeling Autonomous-System Relationships |
124
Voted
IFIP11
2004
15 years 5 months ago
2004
This paper proposes a formal model of the Bellare-Rogaway type [1] that enables one to prove the security of an anonymous credential system in a complexity theoretic framework. Th...
158
Voted
MMNS
2000
15 years 5 months ago
2000
: ATM virtual path has recently been paying attention to the effective deployment of IP over ATM. The effective IP service provisioning depends fully on the reliability and optimal...
125
Voted
3DOR
2009
15 years 4 months ago
2009
The annual SHape REtrieval Contest (SHREC) measures the performance of 3D model retrieval methods for several different types of models and retrieval purposes. In this contest the...
123
Voted
ICALT
2007
IEEE
15 years 3 months ago
2007
IEEE
Cognitive trait model (CTM) is a student model that aims to create profiles of learners’ cognitive traits. Divergent associative learning (DAL) denotes the characteristic of lea...
144
Voted
ENTCS
2008
15 years 3 months ago
2008
We do not interact with systems without first performing some physical action on a physical device. This paper shows how formal notations and formal models can be developed to acc...