1833 search results - page 161 / 367 » Mechanized Verification with Sharing |
168
click to vote
CSCWD
2001
Springer
15 years 11 months ago
2001
Springer
Different from multi-user database management systems, CSCW system must support group awareness explicitly, namely that participants should perceive the presence of each other dur...
174
click to vote
LCN
2000
IEEE
15 years 10 months ago
2000
IEEE
In absence of any link layer traffic controls or priorityqueuing mechanism in LAN infrastructure (such as shared media LAN), Subnet Bandwidth Management based approach of managing...
173
click to vote
ASIACRYPT
2000
Springer
15 years 10 months ago
2000
Springer
Rather than use a shared key directly to cryptographically process (e.g. encrypt or authenticate) data one can use it as a master key to derive subkeys, and use the subkeys for the...
183
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
Thread migration is established as a mechanism for achieving dynamic load sharing. However, fine-grained migration has not been used due to the high thread and messaging overheads...
150
click to vote
IV
1998
IEEE
15 years 10 months ago
1998
IEEE
alization of large volumes of abstract information requires mechanisms to support the user by knowledge discovering. Therefore we developed the level of data Therein the abstract ...