970 search results - page 71 / 194 » Reliability Analysis of Concurrent Systems Using LTSA |
SIGSOFT
2010
ACM
13 years 5 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...
MOBIWAC
2009
ACM
14 years 2 months 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...
SIGCOMM
2003
ACM
14 years 29 days 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â€...
CAIP
2001
Springer
14 years 7 days 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 ...
ICRA
2000
IEEE
14 years 3 days 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. ...