5863 search results - page 1081 / 1173 » On Model-Checking of P Systems |
168
click to vote
EUROSYS
2010
ACM
16 years 28 days ago
2010
ACM
Cloud computing offers users the ability to access large pools of computational and storage resources on demand. Multiple commercial clouds already allow businesses to replace, or...
145
click to vote
SOSP
2005
ACM
16 years 22 days ago
2005
ACM
This paper describes a general approach to constructing cooperative services that span multiple administrative domains. In such environments, protocols must tolerate both Byzantin...
150
click to vote
SC
2009
ACM
15 years 10 months ago
2009
ACM
One of the main advantages of using a scientific workflow management system (SWfMS) to orchestrate data flows among scientific activities is to control and register the whole work...
161
click to vote
SIGCOMM
2009
ACM
15 years 10 months ago
2009
ACM
People increasingly generate content on their mobile devices and upload it to third-party services such as Facebook and Google Latitude for sharing and backup purposes. Although t...
117
click to vote
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—Symbol synchronization in traditional hardwaredriven communication systems has relied on the transmission of training sequences of symbols just before the beginning of t...