4890 search results - page 301 / 978 » From system specifications to component behavioral models |
174
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes the human immune system and its functionalities from a computational viewpoint. The objective of this paper is to provide the biological basis for an artificia...
169
click to vote
ESTIMEDIA
2006
Springer
15 years 10 months ago
2006
Springer
Increasingly more MPSoC platforms are being developed to meet the rising demands from concurrently executing applications. These systems are often heterogeneous with the use of de...
143
click to vote
SIGADA
2005
Springer
16 years 8 days ago
2005
Springer
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...
209
click to vote
PODC
1999
ACM
15 years 11 months ago
1999
ACM
The dynamically configurable distributed object (DCDO) model helps enable object evolution and facilitate the development of distributed objects from multiple independent implemen...
161
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
We propose a model for modular synchronous systems with combinational dependencies and define consistency using this model. We then show how to derive this model from a modular spe...