3012 search results - page 532 / 603 » Testing Processes of Web Applications |
140
click to vote
IPPS
2006
IEEE
16 years 6 days ago
2006
IEEE
The recurring real-time task model was recently proposed as a model for real-time processes that contain code with conditional branches. In this paper, we present a necessary and ...
147
click to vote
ISCAS
2006
IEEE
16 years 6 days ago
2006
IEEE
— All-solution Boolean satisfiability (SAT) solvers are engines employed to find all the possible solutions to a SAT problem. Their applications are found throughout the EDA in...
168
click to vote
3DIM
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper describes how to automatically extract the presence and location of geometrical irregularities on a surface of revolution. To this end a partial 3D scan of the workpiec...
125
click to vote
ACSAC
2005
IEEE
15 years 11 months ago
2005
IEEE
We present e-NeXSh, a novel security approach that utilises kernel and LIBC support for efficiently defending systems against process-subversion attacks. Such attacks exploit vul...
153
click to vote
HAPTICS
2005
IEEE
15 years 11 months ago
2005
IEEE
We describe the design and trial of a remotely conducted surgical master class, using a haptic virtual environment as an integral part of the learning process. In the trial, we li...