2237 search results - page 80 / 448 » Analysis and Testing of Web Applications |
CBMS
2006
IEEE
14 years 4 months ago
2006
IEEE
With the advances in medical imaging devices, large volumes of high-resolution 3D medical image data have been produced. These high-resolution 3D data are very large in size, and ...
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
Grid computing allows the utilization of vast computational resources for solving complex scientific and engineering problems. However, development tools for Grid applications are...
KBSE
2005
IEEE
14 years 3 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
TSE
2011
13 years 5 months ago
2011
— We present Bristlecone, a programming language for robust software systems. Bristlecone applications have two components: a high-level organization specification that describe...
VLSID
2002
IEEE
14 years 10 months ago
2002
IEEE
We present a mathematical model for the problem of scheduling tests for core-based system-on-chip (SOC) VLSI designs. Given a set of tests for each core in the SOC and a set of te...