9842 search results - page 319 / 1969 » Compositional timing analysis |
116
Voted
GECCO
1999
Springer
15 years 9 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...
148
click to vote
FOIKS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We present here a formal foundation for an iterative and incremental approach to constructing and evaluating preference queries. Our main focus is on query modification: ...
120
click to vote
TACS
1991
Springer
15 years 8 months ago
1991
Springer
We aim at a unified and coherent presentation of net models for concurrency like Petri nets and dataflow networks from the perspective of modularity and substitutivity. The major ...
129
click to vote
BPM
2008
Springer
15 years 6 months ago
2008
Springer
We present a finite representation of all services M where the composition with a given service N is deadlock-free, and a given set of activities of N can be covered (i.e. is not d...
131
click to vote
SIAMCO
2008
15 years 4 months ago
2008
This paper presents new graph-theoretic results appropriate to the analysis of a variety of consensus problems cast in dynamically changing environments. The concepts of rooted, s...