950 search results - page 182 / 190 » Tool Support for Model Checking of Web Application Designs |
SAC
2009
ACM
14 years 2 months ago
2009
ACM
JavaScript is widely used by web developers and the complexity of JavaScript programs has increased over the last year. Therefore, the need for program analysis for JavaScript is ...
HT
1987
ACM
13 years 11 months ago
1987
ACM
Hypertext is a technology well-suited to exploring different kinds of representational problems. It can be used first as an informal mechanism to describe the attributes of object...
KBSE
2005
IEEE
14 years 1 months ago
2005
IEEE
Engineering distributed systems is a challenging activity. This is partly due to the intrinsic complexity of distributed systems, and partly due to the practical obstacles that de...
DOCENG
2003
ACM
14 years 26 days ago
2003
ACM
Interactive video technology is meant to support user-interaction with video in scene objects associated with navigation in video segments and access to text-based metadata. Inter...
SAINT
2003
IEEE
14 years 27 days ago
2003
IEEE
The growth of the Internet has led to new avenues for distance education. A crucial factor for the success of distance education is effective mechanisms for distance evaluation. E...