793 search results - page 101 / 159 » Protocol Modeling with Model Program Composition |
ICALP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The use of passwords in security protocols is particularly delicate because of the possibility of off-line guessing attacks. We study password-based protocols in the cont...
FGR
2006
IEEE
14 years 25 days ago
2006
IEEE
Automatic extraction of facial feature deformations (either due to identity change or expression) is a challenging task and could be the base of a facial expression interpretation...
AAAI
2007
13 years 11 months ago
2007
A variety of business relationships in open settings can be understood in terms of the creation and manipulation of commitments among the participants. These include B2C and B2B c...
CORR
2011
Springer
13 years 4 months ago
2011
Springer
—The article describes a course on system design (structural approach) which involves the following: issues of systems engineering; structural models; basic technological problem...
ECOOP
2003
Springer
14 years 2 months ago
2003
Springer
Despite the undisputed prominence of inheritance as the fundamental reuse mechanism in object-oriented programming languages, the main variants — single inheritance, multiple inh...