5863 search results - page 854 / 1173 » On Model-Checking of P Systems |
187
click to vote
ADVIS
2000
Springer
15 years 11 months ago
2000
Springer
Traditional reliable multicast protocols depend on assumptions about flow control and reliability mechanisms, and they suffer from a kind of interference between these mechanisms. ...
195
click to vote
AGENTCL
2000
Springer
15 years 11 months ago
2000
Springer
The ability to communicate is one of the salient properties of agents. Although a number of agent communication languages (ACLs) have been developed, obtaining a suitable formal se...
162
click to vote
COCOON
2000
Springer
15 years 11 months ago
2000
Springer
The integer factorisation and discrete logarithm problems are of practical importance because of the widespread use of public key cryptosystems whose security depends on the presum...
160
Voted
DASFAA
1999
IEEE
15 years 11 months ago
1999
IEEE
The high frequency of applications involving large, ordered, nested lists suggests that list is the "next most" natural data type after set. A list differs from a set th...
174
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...