262 search results - page 39 / 53 » Verifying Web Applications Using Bounded Model Checking |
103
click to vote
ISSTA
2004
ACM
15 years 5 months ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
ICRA
2006
IEEE
15 years 5 months ago
2006
IEEE
- Collision detection is a critical module in many applications such as computer graphics, robot motion planning, physical simulation, CAD/CAM, and molecular modeling. Many efficie...
ECOWS
2006
Springer
15 years 3 months ago
2006
Springer
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...
ENTCS
2007
14 years 11 months ago
2007
If a program does not fulfill a given specification, a model checker delivers a counterexample, a run which demonstrates the wrong behavior. Even with a counterexample, locating...
106
click to vote
DSN
2009
IEEE
15 years 3 months ago
2009
IEEE
The most commonly used request processing model in multithreaded web servers is thread-per-request, in which an individual thread is bound to serve each web request. However, with...