323 search results - page 41 / 65 » Verify Your Runs |
ACSAC
2005
IEEE
14 years 3 months ago
2005
IEEE
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...
INFOCOM
2005
IEEE
14 years 3 months ago
2005
IEEE
The primary purpose of a network is to provide reachability between applications running on end hosts. In this paper, we describe how to compute the reachability a network provide...
WORDS
2005
IEEE
14 years 3 months ago
2005
IEEE
A major advantage of service-based computing technology is the ability to enable rapid formation of large-scale distributed systems by composing massively available services to ac...
SMA
2005
ACM
14 years 3 months ago
2005
ACM
This paper describes a method for creating a well-shaped, layered tetrahedral mesh of a thin-walled solid by adapting the surface triangle sizes to the estimated wall thickness. T...
WOWMOM
2005
ACM
14 years 3 months ago
2005
ACM
Wireless LANs (WLANs) have edged into numerous mobile and wireless users’ daily experience worldwide as a mainstream connectivity solution for a broad range of applications. Eve...