2042 search results - page 123 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
CLUSTER
1999
IEEE
13 years 8 months ago
1999
IEEE
Three protocols for gossip-based failure detection services in large-scale heterogeneous clusters are analyzed and compared. The basic gossip protocol provides a means by which fai...
ACISICIS
2005
IEEE
14 years 2 months ago
2005
IEEE
: This paper presents a queuing analysis model of a PC-based software router supporting IPv6-IPv4 translation for residential gateway. The proposed models are M/G/1/K or MMPP-2/G/1...
VISUALIZATION
1995
IEEE
14 years 18 days ago
1995
IEEE
Advances in computer graphics hardware and algorithms, visualization, and interactive techniques for analysis offer the components for a highly integrated, efficient real-time 3D ...
CAV
2010
Springer
14 years 12 days ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
AMFG
2005
IEEE
14 years 2 months ago
2005
IEEE
We introduce a novel framework for automatic 3D facial expression analysis in videos. The preliminary results were demonstrated by editing the facial expression with facial recogni...