703 search results - page 17 / 141 » An Adaptive Fault-Tolerant Component Model |
97
Voted
CSMR
2007
IEEE
15 years 3 months ago
2007
IEEE
Dynamic adaptation has been an essential requirement for more and more business systems. Some research works have focused on the structural or behavioral changes of adaptive progr...
GI
2004
Springer
15 years 2 months ago
2004
Springer
: The transition from microelectronics to nanoelectronics reaches physical limits and results in a paradigm shift in the design and fabrication of electronic circuits. The conserva...
ICFP
2007
ACM
15 years 9 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
DFT
2004
IEEE
15 years 1 months ago
2004
IEEE
This paper presents theoretical yet practical methodologies to model, assure and optimize the Reliability of Clockless Wave Pipeline. Clockless wave pipeline is a cutting-edge and...
102
click to vote
ICUMT
2009
14 years 7 months ago
2009
Multicast conferencing is a rapidly-growing area of Internet use. Audio, video and other media such as shared whiteboard data can be distributed efficiently between groups of confe...