152 search results - page 28 / 31 » Motivations as an Abstraction of Meta-level Reasoning |
ECSA
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We propose a pattern-based software development method comprising analysis (using problem frames) and design (using architectural and design patterns), of which especiall...
ECAL
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper presents a model of the co-evolution of transmissible disease and a population of non-randomly mixed susceptible agents. The presence of the disease elements i...
100
click to vote
LOPSTR
2005
Springer
15 years 2 months ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
95
Voted
EUROCRYPT
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. In the bounded-storage model (BSM) for information-theoretically secure encryption and key-agreement one uses a random string R whose length t is greater than the assumed...
LOPSTR
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Context-sensitive analysis provides information which is potentially more accurate than that provided by context-free analysis. Such information can then be applied in or...