256 search results - page 10 / 52 » Using groups for investigating rewrite systems |
CADE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Automated tools for finding attacks on flawed security protocols often struggle to deal with protocols for group key agreement. Systems designed for fixed 2 or 3 party pr...
SIGMOD
2004
ACM
15 years 9 months ago
2004
ACM
The prevalent use of XML highlights the need for a generic, flexible access-control mechanism for XML documents that supports efficient and secure query access, without revealing ...
103
click to vote
LCR
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. Modern dialects of Fortran enjoy wide use and good support on highperformance computers as performance-oriented programming languages. By providing the ability to express...
PAKDD
2007
ACM
15 years 3 months ago
2007
ACM
In this paper, we investigate and utilize the characteristic of the group movement of objects to achieve energy conservation in the inherently resource-constrained wireless object ...
113
click to vote
CHI
1992
ACM
15 years 1 months ago
1992
ACM
We are investigating ways in which media space technologies can support distributed work groups through access to information that supports general awareness. Awareness involves k...