5085 search results - page 734 / 1017 » Multidimensional Design by Examples |
179
click to vote
DSVIS
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
176
click to vote
E4MAS
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. Whenever a multiagent system is designed, many dependencies in the system are identified and must be solved in a correct way. Coordination deals with the management of s...
187
click to vote
ECAL
2005
Springer
16 years 15 days ago
2005
Springer
We present an example of the dynamical systems approach to learning and adaptation. Our goal is to explore how both control and learning can be embedded into a single dynamical sys...
190
click to vote
FASE
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
180
click to vote
FPL
2005
Springer
16 years 15 days ago
2005
Springer
This paper addresses exploitation of the capabilities of platform FPGAs to implement embedded networking for systems on chip. In particular, a methodology for exploring trade-offs...