2983 search results - page 186 / 597 » The group marriage problem |
170
click to vote
LICS
2003
IEEE
15 years 12 months ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...
177
click to vote
UML
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The current UML semantics documentation has made a signi cant step towards providing a precise description of the UML. However, at present the semantic model it proposes ...
168
click to vote
ICSE
1993
IEEE-ACM
15 years 10 months ago
1993
IEEE-ACM
E cient and e ective studying of scienti c papers is an important part of software engineering education. Moreover, it contributes to the knowledge necessary to carry out software...
178
click to vote
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
Traditional IP Multicast has been proposed in order to manage group communications over the Internet in a bandwidth efficient manner. Although this proposition has been well studie...
159
click to vote
ECIS
2004
15 years 8 months ago
2004
Globalization has seen the emergence of virtual teams solving complex organisational problems using computer-mediated technologies. By extending Media Richness Theory, it was the ...