3706 search results - page 232 / 742 » The Transformational Approach to Program Development |
133
click to vote
ACSD
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...
134
click to vote
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
169
click to vote
ICIP
2001
IEEE
16 years 4 months ago
2001
IEEE
In this paper, we develop a new approach for texture classification independent of affine transforms. Based on spectral representation of texture images under affine transform, an...
124
click to vote
ECSQARU
2003
Springer
15 years 8 months ago
2003
Springer
We introduce a set of transformations on the set of all probability distributions over a finite state space, and show that these transformations are the only ones that preserve c...
147
Voted
SCESM
2006
ACM
15 years 9 months ago
2006
ACM
An important step in the development of large-scale distributed reactive systems is the design of effective system architectures. The early availability of prototypes facilitates...