Sciweavers

2947 search results - page 428 / 590
» The timely token protocol
Sort
View
SIGSOFT
2006
ACM
16 years 13 days ago
Simulation-based test adequacy criteria for distributed systems
Developers of distributed systems routinely construct discrete-event simulations to help understand and evaluate the behavior of inter-component protocols. Simulations are abstrac...
Matthew J. Rutherford, Antonio Carzaniga, Alexande...
ICPPW
2005
IEEE
16 years 2 days ago
On Channel Adaptive Energy Management in Wireless Sensor Networks
Energy constraints in a wireless sensor network are crucial issues criticallyaffectingthe network lifetime and connectivity. To realize true energysavingin a wireless environment,t...
Xiao-Hui Lin, Yu-Kwong Kwok
RTCSA
2005
IEEE
16 years 2 days ago
On Building a Reflective Middleware Service for Location-Awareness
Location based services are becoming essential feature of context-awareness in ubiquitous computing. Reflective distribute component programming model is proposed to systematicall...
Uzair Ahmad, Uzma Nasir, Mahrin Iqbal, Young-Koo L...
TIME
2005
IEEE
16 years 2 days ago
LOLA: Runtime Monitoring of Synchronous Systems
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
Ben D'Angelo, Sriram Sankaranarayanan, Césa...
FIMH
2005
Springer
16 years 16 hour ago
Wavebreaks and Self-termination of Spiral Waves in a Model of Human Atrial Tissue
We describe numerical simulations of spiral waves dynamics in the computational model of human atrial tissue with the CourtemancheRamirez-Nattel local kinetics. The spiral wave was...
Irina V. Biktasheva, Vadim N. Biktashev, Arun V. H...