Sciweavers

1112 search results - page 168 / 223
» Executing Abstract Test Cases
Sort
View
WEBDB
1999
Springer
105views Database» more  WEBDB 1999»
15 years 4 months ago
On the Materialization of WebViews
ABSTRACT A WebView is a web page that is automatically created from base data, which are usually drawn from a DBMS. A WebView can be either materialized as an html page at the web...
Alexandros Labrinidis, Nick Roussopoulos
COOP
2004
15 years 1 months ago
Model Checking Groupware Protocols
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
Maurice H. ter Beek, Mieke Massink, Diego Latella,...
JSAC
2006
120views more  JSAC 2006»
14 years 12 months ago
Multiple-Source Internet Tomography
Abstract-- Information about the topology and link-level characteristics of a network is critical for many applications including network diagnostics and management. However, this ...
Michael Rabbat, Mark Coates, Robert D. Nowak
SIAMSC
2008
132views more  SIAMSC 2008»
14 years 11 months ago
Stochastic Preconditioning for Diagonally Dominant Matrices
Abstract. This paper presents a new stochastic preconditioning approach for large sparse matrices. For the class of matrices that are row-wise and column-wise irreducibly diagonall...
Haifeng Qian, Sachin S. Sapatnekar
WCRE
2010
IEEE
14 years 10 months ago
Immediacy through Interactivity: Online Analysis of Run-time Behavior
—Visualizations of actual run-time data support the comprehension of programs, like examples support the ion of abstract concepts and principles. Unfortunately, the required run-...
Michael Perscheid, Bastian Steinert, Robert Hirsch...