8109 search results - page 442 / 1622 » A Model of Component-Based Programming |
174
click to vote
ECOOP
2005
Springer
16 years 1 months ago
2005
Springer
There are numerous mechanisms for separation of concerns at the source code level. Three mechanisms that are the focus of recent attention – metadata annotations, pointcuts and a...
188
click to vote
PASTE
2004
ACM
16 years 29 days ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
167
click to vote
ANSS
2000
IEEE
15 years 12 months ago
2000
IEEE
The cost of building a new system is usually quite high and without a proper design, a mismatch might occur between the proposed system and the actual system delivered. One aspect...
234
click to vote
EUROGP
2007
Springer
15 years 11 months ago
2007
Springer
This work details an auction-based model for problem decomposition in Genetic Programming classification. The approach builds on the population-based methodology of Genetic Progra...
238
click to vote
DSRT
2008
IEEE
15 years 9 months ago
2008
IEEE
Most common real-time embedded programming languages provide a means to specify functionality; however, they have few constructs to specify precise timing constraints. LabVIEW is ...