1177 search results - page 36 / 236 » A review of function modeling: Approaches and applications |
PPDP
2010
Springer
13 years 6 months ago
2010
Springer
This paper connects the definitional interpreter for the λ-calculus extended with delimited continuation constructs, shift and reset, with a compiler and a low-level virtual mac...
ICPR
2010
IEEE
14 years 3 months ago
2010
IEEE
We propose a learning method for gait synthesis from a sequence of shapes(frames) with the ability to extrapolate to novel data. It involves the application of PCA, first to redu...
FASE
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. The OMG’s Model-Driven Architecture focusses on the evolution and integration of applications across heterogeneous middleware platforms. Presently available instances o...
FASE
2008
Springer
13 years 10 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
ISSE
2006
13 years 8 months ago
2006
Abstract As distributed, networked computing systems become the dominant computing platform in a growing range of applications, they increase opportunities for security violations ...