Sciweavers

2409 search results - page 118 / 482
» Building Components from Functions
Sort
View
ICSE
2003
IEEE-ACM
14 years 11 months ago
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...
John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Ge...
ICANN
2009
Springer
14 years 5 months ago
Adaptive Feature Transformation for Image Data from Non-stationary Processes
Abstract. This paper introduces the application of the feature transformation approach proposed by Torkkola [1] to the domain of image processing. Thereto, we extended the approach...
Erik Schaffernicht, Volker Stephan, Horst-Michael ...
ECBS
1999
IEEE
112views Hardware» more  ECBS 1999»
14 years 3 months ago
Metaprogrammable Toolkit for Model-Integrated Computing
Model-Integrated Computing, specifically Model-Integrated Program Synthesis (MIPS) environments that include visual model building, constraint management, and automatic program sy...
Ákos Lédeczi, Miklos Maroti, Gabor K...
ICSE
1994
IEEE-ACM
14 years 2 months ago
Software Reuse - Facts and Myths
The concept of systematic software reuse is simple: the idea of building and using "software preferred parts." By building systems out of carefully designed, pre-tested ...
Kevin D. Wentzel
ENTCS
2006
161views more  ENTCS 2006»
13 years 10 months ago
Algebraic Specification and Coalgebraic Synthesis of Mealy Automata
We introduce the notion of functional stream derivative, generalising the notion of input derivative of rational expressions (Brzozowski 1964) to the case of stream functions over...
Jan J. M. M. Rutten