Results 1 - 10 of 57

Static analysis of model transformations for effective test generation

by Jean-marie Mottu, Sagar Sen, Massimo Tisi, Jordi Cabot - In: ISSRE, IEEE , 2012
"... Abstract—Model transformations are an integral part of sev-eral computing systems that manipulate interconnected graphs of objects called models in an input domain specified by a metamodel and a set of invariants. Test models are used to look for faults in a transformation. A test model contains a s ..."
Abstract - Cited by 5 (1 self) - Add to MetaCart
constraint satisfaction problem in Alloy. We solve the problem to generate sets of test models containing traces of the footprint. Are these test models effective? With the help of a case study transformation we evaluate the effectiveness of these test inputs. We use mutation analysis to show that the test

– FORTHCOMING in Advances in Econometrics (vol 31) – A TEST FOR MONOTONE COMPARATIVE STATICS

by Federico Echenique, Ivana Komunjer , 2013
"... Abstract. In this paper we design an econometric test for monotone comparative statics (MCS) often found in models with multiple equilibria. Our test exploits the observable implications of the MCS prediction: that the extreme (high and low) conditional quantiles of the dependent variable increase m ..."
Abstract - Add to MetaCart
Abstract. In this paper we design an econometric test for monotone comparative statics (MCS) often found in models with multiple equilibria. Our test exploits the observable implications of the MCS prediction: that the extreme (high and low) conditional quantiles of the dependent variable increase

TU-Darmstadt Fachbereich Informatik QPE- A GRAPHICAL EDITOR FOR MODELING USING QUEUEING PETRI NETS

by Christofer Dutz, Technische Universität Darmstadt, Fachbereich Informatik, Fachgebiet Datenbanken, Und Verteilte Systeme, Prof Alej, Ro P. Buchmann, Ph. D, Technische Universität Darmstadt, Fachbereich Informatik, Fachgebiet Datenbanken, Und Verteilte Systeme, Ehrenwörtliche Erklärung
"... Betreuer: ..."
Abstract - Add to MetaCart
Abstract not found

©2007 INFORMS

by Frank M. Bass, Norris Bruce, Sumit Majumdar, B. P. S. Murthi
"... Models of advertising response implicitly assume that the entire advertising budget is spent on disseminating one message. In practice, managers use different themes of advertising (for example, price advertisements versus product advertisements) and within each theme they employ different versions ..."
Abstract - Add to MetaCart
Models of advertising response implicitly assume that the entire advertising budget is spent on disseminating one message. In practice, managers use different themes of advertising (for example, price advertisements versus product advertisements) and within each theme they employ different versions

DOI 10.1007/s00778-012-0302-x SPECIAL ISSUE PAPER Automating the database schema evolution process

by Carlo Curino, Hyun Jin, Moon Alin Deutsch, Carlo Zaniolo, C. Curino (b, H. J. Moon, A. Deutsch, C. Zaniolo
"... Abstract Supporting database schema evolution repre-sents a long-standing challenge of practical and theoretical importance for modern information systems. In this paper, we describe techniques and systems for automating the critical tasks of migrating the database and rewriting the legacy applicati ..."
Abstract - Add to MetaCart
, by solving the difficult prob-lem of automating the migration of databases and the rewrit-ing of queries and updates. In this paper, we present the PRISM/PRISM++ system and the novel technology that made it possible. In particular, we focus on the difficult and previously unsolved problem of supporting

1Sub-Nyquist Radar via Doppler Focusing

by Omer Bar-ilan, Yonina C. Eldar
"... Abstract—We investigate the problem of a monostatic pulse-Doppler radar transceiver trying to detect targets, sparsely populated in the radar’s unambiguous time-frequency region. Several past works employ compressed sensing (CS) algorithms to this type of problem, but either do not address sample ra ..."
Abstract - Add to MetaCart
rate reduction, impose constraints on the radar transmitter, propose CS recovery methods with prohibitive dictionary size, or perform poorly in noisy conditions. Here we describe a sub-Nyquist sampling and recovery approach called Doppler focusing which addresses all of these problems: it performs low

By

by Richard Brian Adams , 2013
"... I declare that this thesis is my own account of my research and contains as its main content work which has not previously been submitted for a degree at any tertiary education institution. ..."
Abstract - Add to MetaCart
I declare that this thesis is my own account of my research and contains as its main content work which has not previously been submitted for a degree at any tertiary education institution.

von

by Mathematisch-naturwissenschaftlichen Fakultät, Stefan Lange, Prof Dr, Jan-hendrik Olbertz, Prof Dr, Elmar Kulke
"... eingereicht an der ..."
Abstract - Add to MetaCart
eingereicht an der

2.1.1 Orthodoxy

by unknown authors
"... I discuss Julian Barbour's Machian theories of dynamics, and his proposal that a Machian perspective enables one to solve the problem of time in quantum ge-ometrodynamics (by saying that there is no time!). I concentrate on his recent ..."
Abstract - Add to MetaCart
I discuss Julian Barbour's Machian theories of dynamics, and his proposal that a Machian perspective enables one to solve the problem of time in quantum ge-ometrodynamics (by saying that there is no time!). I concentrate on his recent

3esis Supervisor Accepted by

by Audio-based Localisation, Benjamin Christopher Dalton, V. Michael, Benjamin Christopher Dalton , 2005
"... in partial ful2llment of the requirements for the degree of ..."
Abstract - Add to MetaCart
in partial ful2llment of the requirements for the degree of
Results 1 - 10 of 57