Sciweavers

3907 search results - page 473 / 782
» Information requirements engineering for data warehouse syst...
Sort
View
GECCO
2008
Springer
129views Optimization» more  GECCO 2008»
15 years 7 months ago
Searching for liveness property violations in concurrent systems with ACO
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
Enrique Alba, J. Francisco Chicano
MSR
2011
ACM
14 years 9 months ago
A simpler model of software readability
Software readability is a property that influences how easily a given piece of code can be read and understood. Since readability can affect maintainability, quality, etc., prog...
Daryl Posnett, Abram Hindle, Premkumar T. Devanbu
SIGMOD
2008
ACM
158views Database» more  SIGMOD 2008»
16 years 6 months ago
Stretch 'n' shrink: resizing queries to user preferences
We present Stretch `n' Shrink, a query design framework that explicitly takes into account user preferences about the desired answer size, and subsequently modifies the query...
Chaitanya Mishra, Nick Koudas
PPPJ
2009
ACM
15 years 11 months ago
SlimVM: a small footprint Java virtual machine for connected embedded systems
The usage of cellular phones, PDAs, and other mobile devices has increased dramatically over the past ten years. Java is targeted to be one of the most popular execution environme...
Christoph Kerschbaumer, Gregor Wagner, Christian W...
CSMR
2007
IEEE
16 years 1 months ago
Online Construction of Dynamic Object Process Graphs
A dynamic object process graph is a view on the control flow graph from the perspective of a single object. It has been shown that such a graph can be a useful starting point for...
Jochen Quante