Sciweavers

1791 search results - page 61 / 359
» Two Types of Multiple-Conclusion Systems
Sort
View
FOSSACS
2004
Springer
14 years 1 months ago
safeDpi: A Language for Controlling Mobile Code
safeDpi is a distributed version of the Picalculus, in which processes are located at dynamically created sites. Parametrised code may be sent between sites using so-called ports, ...
Matthew Hennessy, Julian Rathke, Nobuko Yoshida
DSN
2005
IEEE
14 years 1 months ago
Design Time Reliability Analysis of Distributed Fault Tolerance Algorithms
Designing a distributed fault tolerance algorithm requires careful analysis of both fault models and diagnosis strategies. A system will fail if there are too many active faults, ...
Elizabeth Latronico, Philip Koopman
DESRIST
2009
Springer
132views Education» more  DESRIST 2009»
14 years 9 days ago
Measuring information volatility in a health care information supply chain
We propose a measure of reliability called information volatility (IV) to complement Business Intelligence tools when considering aggregated data or when observing trends. Two typ...
Monica Chiarini Tremblay, Donald J. Berndt, Alan R...
ICANN
2007
Springer
14 years 1 months ago
Separation and Recognition of Multiple Sound Source Using Pulsed Neuron Model
Many applications would emerge from the development of artificial systems able to accurately localize and identify sound sources. However, one of the main difficulties of such kin...
Kaname Iwasa, Hideaki Inoue, Mauricio Kugler, Susu...
ASPDAC
2000
ACM
80views Hardware» more  ASPDAC 2000»
14 years 1 days ago
An interleaved dual-battery power supply for battery-operated electronics
 After a detailed analysis and discussion of two important characteristics of today’s battery cells (i.e., their current-capacity and current-voltage curves), this paper descr...
Qing Wu, Qinru Qiu, Massoud Pedram