970 search results - page 92 / 194 » Reliability Analysis of Concurrent Systems Using LTSA |
GLOBECOM
2008
IEEE
13 years 9 months ago
2008
IEEE
Security is a critical issue in dynamic and open distributed environments such as network-based services or wireless networks. To ensure that a certain level of security is maintai...
ICCAD
2006
IEEE
14 years 5 months ago
2006
IEEE
Soft error tolerant design becomes more crucial due to exponential increase in the vulnerability of computer systems to soft errors. Accurate estimation of soft error rate (SER), ...
POPL
2011
ACM
12 years 12 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
CCGRID
2006
IEEE
14 years 3 months ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
ICDAR
2009
IEEE
14 years 3 months ago
2009
IEEE
Recent developments have resulted in dramatic changes in the way elections are conducted, both in the United States and around the world. Well-publicized flaws in the security of...