Sciweavers

3967 search results - page 414 / 794
» Distributed Games and Distributed Control for Asynchronous S...
Sort
View
GPC
2008
Springer
15 years 8 months ago
An Automatic and Scalable Testing Tool for Workflow Systems
Nowadays workflow systems are widely deployed around the world, especially within large international corporations. Thus the performance evaluation of these workflow systems becom...
Lin Quan, Xiaozhu Lin, Jianmin Wang
REX
1991
15 years 10 months ago
From Timed to Hybrid Systems
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
Oded Maler, Zohar Manna, Amir Pnueli
HASE
1997
IEEE
15 years 11 months ago
High-Coverage Fault Tolerance in Real-Time Systems Based on Point-to-Point Communication
: The distributed recovery block (DRB) scheme is a widely applicable approach for realizing both hardware and software fault tolerance in real-time distributed and parallel compute...
K. H. Kim, Chittur Subbaraman, Eltefaat Shokri
CSREASAM
2004
15 years 8 months ago
Survivable Systems Analysis of the North American Power Grid Communications Infrastructure
The modern electric power grid is a complex interconnected network of independent physical and electronic devices that utilize myriad technologies for communication between other ...
Patrick R. Merry, Axel W. Krings, Paul W. Oman
SJ
2010
158views more  SJ 2010»
15 years 1 months ago
Efficient Utilization of Renewable Energy Sources by Gridable Vehicles in Cyber-Physical Energy Systems
The main sources of emission today are from the electric power and transportation sectors. One of the main goals of a cyber-physical energy system (CPES) is the integration of rene...
A. Y. Saber, Ganesh K. Venayagamoorthy