4890 search results - page 84 / 978 » From system specifications to component behavioral models |
BRAIN
2010
Springer
14 years 6 months ago
2010
Springer
Biologically realistic modeling has been greatly facilitated by the development of neuro-simulators, and the development of simulatorindependent formats for model exchange is the s...
101
click to vote
RSP
1998
IEEE
15 years 2 months ago
1998
IEEE
The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newl...
JLP
2010
14 years 4 months ago
2010
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...
IEEECIT
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper proposes a new visual modeling environment for embedded component systems that improves the productivity of application developers. This embedded component system decre...
SOCO
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...