Sciweavers

522 search results - page 6 / 105
» Betting on the Real Line
Sort
View
JSYML
2000
41views more  JSYML 2000»
13 years 7 months ago
The Real Line in Elementary Submodels of Set Theory
Kenneth Kunen, Franklin D. Tall
SPLC
2008
13 years 9 months ago
Valuing Flexibility in Software Product Line Architectures
We highlight some of the challenges in valuing flexibility and investment decisions in Software Product Line Architectures (SPLA). We explain the limitations of traditional approa...
Rami Bahsoon, Wolfgang Emmerich
DCG
2010
57views more  DCG 2010»
13 years 7 months ago
Iterated Point-Line Configurations Grow Doubly-Exponentially
Begin with a set of four points in the real plane in general position. Add to this collection the intersection of all lines through pairs of these points. Iterate. Ismailescu and ...
Joshua Cooper, Mark Walters
CSR
2006
Springer
13 years 11 months ago
Expressiveness of Metric Modalities for Continuous Time
Abstract. We prove a conjecture by A. Pnueli and strengthen it showing a sequence of "counting modalities" none of which is expressible in the temporal logic generated by...
Yoram Hirshfeld, Alexander Moshe Rabinovich
CORR
2010
Springer
155views Education» more  CORR 2010»
13 years 7 months ago
Towards Performance Measurement And Metrics Based Analysis of PLA Applications
This article is about a measurement analysis based approach to help software practitioners in managing the additional level complexities and variabilities in software product line...
Zeeshan Ahmed