9370 search results - page 221 / 1874 » An Abstract Notion of Application |
159
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
an abstract optimization problem arising from biomolecular sequence analysis. For a sequence A of pairs (ai, wi) for i = 1, . . . , n and wi > 0, a segment A(i, j) is a consecu...
210
click to vote
IFIPTCS
2010
15 years 4 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
169
click to vote
CD
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We describe a methodology for developing and deploying distributed Java applications using a reflective middleware system called RAFDA. We illustrate the methodology by d...
222
click to vote
TRUSTBUS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Synthetic data plays an important role in software testing. In this paper, we initiate the study of synthetic data generation models for the purpose of application softwa...
135
click to vote
CAISE
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We argue that adaptability and extensibility can be guaranteed by the utilization of the concepts meta-modeling, formation of concepts and reflection, which require the u...