6978 search results - page 1066 / 1396 » On Proofs in System P |
181
click to vote
ICPPW
1999
IEEE
15 years 11 months ago
1999
IEEE
Group communication protocols are used in fault-tolerant systems to maintain strong replica consistency. The FaultTolerant Multicast Protocol (FTMP) described here is a group comm...
167
click to vote
VLSID
1999
IEEE
15 years 11 months ago
1999
IEEE
To minimize the time to market and cost of new sub 0.25um process technologies and products, PDF Solutions, Inc., has developed a new comprehensive approach based on the use of pr...
148
click to vote
ICRA
1998
IEEE
15 years 11 months ago
1998
IEEE
At the intersection of tele-robotics, computer networking, and human social interaction we have chosen to explore an area we identifyas personal tele-embodiment. At the core of th...
176
click to vote
SAS
1999
Springer
15 years 11 months ago
1999
Springer
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...
175
click to vote
WETICE
1998
IEEE
15 years 11 months ago
1998
IEEE
We present an integrated secure group access control tool to support workgroups on the World-Wide Web. The system enables user authentication, encrypted communication and fine-gra...