2253 search results - page 41 / 451 » An Approach to Specifying Software Frameworks |
127
click to vote
KSEM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. It has been widely recognized that the relative priority of requirements can help developers to resolve inconsistencies and make some necessary trade-off decisions. Howe...
173
Voted
SPLC
2004
15 years 4 months ago
2004
A key aspect of variability management in software product families is the explicit representation of the variability. Experiences at several industrial software development compan...
122
click to vote
FORMATS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
155
Voted
ICANN
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. One focus of recent research in the field of biologically plausible neural networks is the investigation of higher-level functions such as learning, development and modu...
105
Voted
CCS
2005
ACM
15 years 9 months ago
2005
ACM
The Framework of Selective Interleaving Functions and the Modular Assembly Kit for Security Properties both provide a basis for the uniform representation and formal analysis of n...