2237 search results - page 198 / 448 » Analysis and Testing of Web Applications |
168
click to vote
IEEEARES
2007
IEEE
16 years 1 months ago
2007
IEEE
Security communication systems composed of highly reliable components may have few if any failures while undergoing heavy testing or field-usage. This paper combines (i) analysis ...
188
click to vote
ALP
1994
Springer
15 years 11 months ago
1994
Springer
Abstract. We introduce a compositional characterization of the operational semantics of equational Horn programs. Then we show that this semantics and the standard operational sema...
208
Voted
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, we propose an approach to estimate the Worst Case Response Time (WCRT) of tasks in a preemptive multi-tasking single-processor real-time system with a set associati...
175
Voted
MAGS
2007
15 years 6 months ago
2007
Abstract. The availability of massive amounts of biological data, distributed in various data sources, has prompted the development of a wide range of data analysis tools. However,...
198
Voted
JCM
2006
15 years 7 months ago
2006
In this paper, we propose and analyze a multicast application called SOMA (SynchrOnous Multicast Application) which offers multicast file transfer service in an asymmetric intra-ca...