5019 search results - page 74 / 1004 » Computing in Quotient Groups |
111
click to vote
CONCUR
2000
Springer
15 years 8 months ago
2000
Springer
We add an operation of group creation to the typed π-calculus, where a group is a type for channels. Creation of fresh groups has the effect of statically preventing certain com...
130
click to vote
SODA
2010
ACM
16 years 1 months ago
2010
ACM
This paper analyzes the complexity of problems from class field theory. Class field theory can be used to show the existence of infinite families of number fields with constant ro...
161
click to vote
ATC
2007
Springer
15 years 10 months ago
2007
Springer
Group key exchange protocols allow their participants to compute a secret key which can be used to ensure security and privacy for various multi-party applications. The resulting g...
117
click to vote
CHI
2002
ACM
16 years 4 months ago
2002
ACM
We introduce the Hocman prototype, supporting mobile group collaboration among motorcyclists. The design is based on findings from a field study. The motorcyclists are a group wit...
114
click to vote
APAL
2010
15 years 4 months ago
2010
We investigate computability theoretic and topological properties of spaces of orders on computable orderable groups. A left order on a group G is a linear order of the domain of ...