2261 search results - page 144 / 453 » Relationships Between Models of Concurrency |
IFIP11
2004
13 years 9 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...
MMNS
2000
13 years 9 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...
ICALT
2007
IEEE
13 years 8 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...
ENTCS
2008
13 years 8 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...
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
Signal processing using over-complete representations has been an active research field in recent years. In this article, we study the following two related problems: (1) given tw...