2268 search results - page 50 / 454 » The Essence of Form Abstraction |
ICSE
1994
IEEE-ACM
14 years 4 days ago
1994
IEEE-ACM
Abstract. Formal, visual approaches to system modelling are a promising research sub-area of con guration management. A visual notation for con guring software systems, called ConF...
FASE
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We introduce a generalised notion of a real-time speci cation language (\GPLC-Automata") that can be translated directly into real-time programs. In order to describ...
AC
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. These notes form the basis of four lectures given at the Summer School on Generic Programming, Oxford, UK, which took place dur
JAT
2006
13 years 8 months ago
2006
Abstract. For measures on the unit circle with convergent Verblunsky coefficients we find relations in form of inequalities between these coefficients and the distances from mass p...
MP
2008
13 years 8 months ago
2008
Abstract We propose primal-dual path-following Mehrotra-type predictorcorrector methods for solving convex quadratic semidefinite programming (QSDP) problems of the form: minX{1 2 ...