2558 search results - page 335 / 512 » Model Composition Contracts |
152
click to vote
WORDS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents a method to analyze the timing behavior of an event-based real-time protocol composition framework. The framework, called RT-Appia, allows the development and ...
112
Voted
GECCO
1999
Springer
15 years 8 months ago
1999
Springer
The paper describes an immunogenetic approach to recognize spectra for chemical analysis. In particular, an immunological model for chemical reactions is introduced in which a pop...
ISLPED
1996
ACM
15 years 8 months ago
1996
ACM
We present a new gate-level approach to current simulation. We use a symbolic model of current pulses that takes accurately into account the dependence on the switching conditions...
103
click to vote
OOPSLA
1990
Springer
15 years 8 months ago
1990
Springer
The diverse inheritance mechanisms provided by Smalltalk, Beta, and CLOS are interpreted as different uses of a single underlying construct. Smalltalk and Beta differ primarily in...
125
Voted
CANDC
2007
ACM
15 years 8 months ago
2007
ACM
This research explores links between constraint development in creative processes and end user development in environments for creative tasks. A process model describing the devel...