Sciweavers

4356 search results - page 146 / 872
» Communicating Transactions - (Extended Abstract)
Sort
View
ITS
1998
Springer
115views Multimedia» more  ITS 1998»
15 years 10 months ago
Visual Emotive Communication in Lifelike Pedagogical Agents
Abstract. Lifelike animated agents for knowledge-based learning environments can provide timely, customized advice to support leaners' problem-solving activities. By drawing o...
Stuart G. Towns, Patrick J. Fitzgerald, James C. L...
NETWORKING
2004
15 years 7 months ago
A-STAR: A Mobile Ad Hoc Routing Strategy for Metropolis Vehicular Communications
Abstract. One of the major issues that affect the performance of Mobile Ad hoc NETworks (MANET) is routing. Recently, position-based routing for MANET is found to be a very promisi...
Boon-Chong Seet, Genping Liu, Bu-Sung Lee, Chuan H...
CORR
2010
Springer
99views Education» more  CORR 2010»
15 years 6 months ago
Security in Distributed Storage Systems by Communicating a Logarithmic Number of Bits
Abstract--We investigate the problem of maintaining an encoded distributed storage system when some nodes contain adversarial errors. Using the error-correction capabilities that a...
Theodoros K. Dikaliotis, Alexandros G. Dimakis, Tr...
CORR
2008
Springer
98views Education» more  CORR 2008»
15 years 6 months ago
High-SNR Analysis of Outage-Limited Communications with Bursty and Delay-Limited Information
Abstract-- This work analyzes the high-SNR asymptotic error performance of outage-limited communications with fading, where the number of bits that arrive at the transmitter during...
Somsak Kittipiyakul, Petros Elia, Tara Javidi
FAC
2008
114views more  FAC 2008»
15 years 6 months ago
Specification of communicating processes: temporal logic versus refusals-based refinement
Abstract. In this paper we consider the relationship between refinement-oriented specification and specifications using a temporal logic. We investigate the extent to which one can...
Gavin Lowe