10396 search results - page 100 / 2080 » Testing Web Applications |
107
Voted
FORTE
1996
15 years 3 months ago
1996
In this paper we present the application of the fair testing pre-order, introduced in a previous paper, to the speci cation and analysis of distributed systems. This pre-order com...
131
Voted
SIGMOD
2010
ACM
15 years 6 months ago
2010
ACM
A database application differs form regular applications in that some of its inputs may be database queries. The program will execute the queries on a database and may use any re...
95
Voted
CCS
2009
ACM
15 years 9 months ago
2009
ACM
We study the security of embedded web servers used in consumer electronic devices, such as security cameras and photo frames, and for IT infrastructure, such as wireless access po...
105
click to vote
ASWC
2009
Springer
15 years 9 months ago
2009
Springer
Wikis are a well-known Web 2.0 content management platform. The
110
click to vote
ICWS
2003
IEEE
15 years 3 months ago
2003
IEEE
In this paper, we propose a method for automated web service composition by applying Linear Logic (LL) theorem proving. We distinguish value-added web services and core service by ...