264 search results - page 12 / 53 » Global State Considered Helpful |
SAINT
2003
IEEE
14 years 1 months ago
2003
IEEE
Web service technologies promise to facilitate collaboration among business partners by helping potential business partners find one another and integrate their business processe...
GLOBECOM
2010
IEEE
13 years 6 months ago
2010
IEEE
Most peer-assisted media streaming systems have applied a design philosophy that uses a "mesh" topology of peers: each peer connects to a small number of neighboring peer...
EWSN
2010
Springer
14 years 5 months ago
2010
Springer
Abstract. Harsh deployment environments and uncertain run-time conditions create numerous challenges for postmortem time reconstruction methods. For example, motes often reboot and...
LICS
1993
IEEE
14 years 19 days ago
1993
IEEE
We consider the veri cation of a particular class of in nite-state systems, namely systems consisting of nite-state processes that communicate via unbounded lossy FIFO channels. T...
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
–This paper presents a novel affect-sensitive human-robot interaction framework for rehabilitation of children with autism spectrum disorder (ASD). The overall aim is to enable t...