752 search results - page 134 / 151 » Finite-State Modeling, Analysis and Testing of System Vulner... |
HICSS
1996
IEEE
14 years 18 days ago
1996
IEEE
The venerable problem solving technique of simulation finds itself inthe midstof a revolution. Where once it was regarded as a "technique of last resort" for systems ana...
FMCAD
2004
Springer
14 years 5 days ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
ECIS
2004
13 years 9 months ago
2004
Web sites are now considered an extension of the entire business, not just an additional channel or storefront or a simple information portal for the company. Creating an effectiv...
WSDM
2010
ACM
14 years 5 months ago
2010
ACM
Activity in social media such as blogs, micro-blogs, social networks, etc is manifested via interaction that involves text, images, links and other information items. Naturally, s...
WCRE
1999
IEEE
14 years 22 days ago
1999
IEEE
Java applets have been used increasingly on web sites to perform client-side processing and provide dynamic content. While many web site analysis tools are available, their focus ...