3706 search results - page 232 / 742 » The Transformational Approach to Program Development |
182
click to vote
ACSD
2010
IEEE
15 years 4 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...
179
click to vote
ICLP
2005
Springer
16 years 2 days 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 ...
224
click to vote
ICIP
2001
IEEE
16 years 8 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...
161
click to vote
ECSQARU
2003
Springer
15 years 11 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...
197
click to vote
SCESM
2006
ACM
16 years 15 days 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...