950 search results - page 126 / 190 » Tool Support for Model Checking of Web Application Designs |
UIST
2006
ACM
14 years 1 months ago
2006
ACM
Many tasks require users to extract information from diverse sources, to edit or process this information locally, and to explore how the end results are affected by changes in th...
SEMWEB
2005
Springer
14 years 1 months ago
2005
Springer
This paper addresses a major weakness of current technologies for the Semantic Web, namely the lack of a principled means to represent and reason about uncertainty. This not only h...
WSC
1997
13 years 9 months ago
1997
The foundation of readiness is training. The Chairman, Joint Chiefs of Staff (CJCS) Joint Training Program institutes methods for identifying training requirements through review ...
SAC
2010
ACM
13 years 8 months ago
2010
ACM
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
ICWS
2003
IEEE
13 years 9 months ago
2003
IEEE
The enormous growth in wireless communications and miniaturized handheld devices in the last few years, have given rise to a vast range of new services, for heterogeneous user env...