752 search results - page 134 / 151 » Finite-State Modeling, Analysis and Testing of System Vulner... |
128
click to vote
HICSS
1996
IEEE
15 years 3 months 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...
101
click to vote
FMCAD
2004
Springer
15 years 3 months 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...
90
Voted
ECIS
2004
15 years 1 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...
104
click to vote
WSDM
2010
ACM
15 years 9 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...
128
click to vote
WCRE
1999
IEEE
15 years 4 months 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 ...