Sciweavers

11172 search results - page 89 / 2235
» Testing Physical Systems
Sort
View
ICTAC
2004
Springer
15 years 11 months ago
Minimal Spanning Set for Coverage Testing of Interactive Systems
A model-based approach for minimization of test sets for interactive systems is introduced. Test cases are efficiently generated and selected to cover the behavioral model and the ...
Fevzi Belli, Christof J. Budnik
SIGMOD
2004
ACM
150views Database» more  SIGMOD 2004»
16 years 6 months ago
Integrating Vertical and Horizontal Partitioning Into Automated Physical Database Design
In addition to indexes and materialized views, horizontal and vertical partitioning are important aspects of physical design in a relational database system that significantly imp...
Sanjay Agrawal, Vivek R. Narasayya, Beverly Yang
IJWIS
2006
87views more  IJWIS 2006»
15 years 6 months ago
Systematic Development of Physical Hypermedia Applications
Abstract. In this paper we present a model-based approach for the development of physical hypermedia applications, i.e. those mobile (Web) applications in which physical and digita...
Cecilia Challiol, Gustavo Rossi, Silvia E. Gordill...
PVLDB
2008
89views more  PVLDB 2008»
15 years 5 months ago
Constrained physical design tuning
Abstract Existing solutions to the automated physical design problem in database systems attempt to minimize execution costs of input workloads for a given storage constraint. In t...
Nicolas Bruno, Surajit Chaudhuri
PERSUASIVE
2010
Springer
15 years 4 months ago
Animate Objects: How Physical Motion Encourages Public Interaction
The primary challenge for information terminals, kiosks, and incidental use systems of all sorts, is that of getting the “first click” from busy passersby. This paper presents ...
Wendy Ju, David Sirkin