Sciweavers

5863 search results - page 426 / 1173
» On Model-Checking of P Systems
Sort
View
EUROSYS
2006
ACM
16 years 1 months ago
A fresh look at the reliability of long-term digital storage
Mary Baker, Mehul A. Shah, David S. H. Rosenthal, ...
EDOC
2005
IEEE
16 years 1 months ago
A Method for Specifying Contract Mediated Interactions
Carlos Molina-Jiménez, Santosh K. Shrivasta...
CORR
2010
Springer
128views Education» more  CORR 2010»
15 years 7 months ago
Partial monoids: associativity and confluence
A partial monoid P is a set with a partial multiplication
Laurent Poinsot, Gérard Duchamp, Christophe...
CIG
2005
IEEE
16 years 1 months ago
How to Protect Peer-to-Peer Online Games from Cheats
Abstract- Recently, P2P (peer-to-peer) online game systems have attracted a great deal of public attention. They work without central servers, thus, the maintenance and organizatio...
Haruhiro Yoshimoto, Rie Shigetomi, Hideki Imai