970 search results - page 71 / 194 » Reliability Analysis of Concurrent Systems Using LTSA |
163
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
189
click to vote
MOBIWAC
2009
ACM
16 years 20 days ago
2009
ACM
Rapid evolution of wireless networking has provided wide-scale of different wireless access technologies like Bluetooth, ZigBee, 802.11a/b/g, DSRC, 3G UMTS, LTE, WiMAX, etc. The c...
165
click to vote
SIGCOMM
2003
ACM
15 years 11 months ago
2003
ACM
Multihoming has traditionally been employed by stub networks to enhance the reliability of their network connectivity. With the advent of commercial “intelligent route controlâ€...
136
click to vote
CAIP
2001
Springer
15 years 10 months ago
2001
Springer
Many different methods for tracking humans were proposed in the past several years, but only a few authors examined the accuracy of the proposed systems. As the accuracy analysis ...
123
click to vote
ICRA
2000
IEEE
15 years 10 months ago
2000
IEEE
Determination of the magnitudes and directions of the constraints of a mechanical system can be achieved by ï¬nding the basis of the system’s characteristic compliance matrix. ...