1675 search results - page 76 / 335 » Compositional Model-Based Design |
127
Voted
ICRA
2003
IEEE
15 years 7 months ago
2003
IEEE
The use of high performance composite materials provides a substantial performance improvement for microrobotics. Such materials have great benefits over common MEMs materials su...
EVOW
2003
Springer
15 years 7 months ago
2003
Springer
This paper discusses the motivation, design and construction of a generative music system, 'MusicBlox', (by the author) that utilises a domain specific, knowledge rich Ge...
127
Voted
AGP
1994
IEEE
15 years 5 months ago
1994
IEEE
This paper considers compositions of conditional term rewriting systems as a basis for a modular approach to the design and analysis of equational logic programs. In this context,...
108
Voted
FORTE
2008
15 years 3 months ago
2008
Designing and interoperability testing of distributed, application-level network protocols is complex. Windows, for example, supports currently more than 200 protocols, ranging fro...
100
click to vote
GG
2008
Springer
15 years 3 months ago
2008
Springer
We introduce ranked open nets, a reactive extension of Petri nets which generalises a basic open net model introduced in a previous work by allowing for a refined notion of interf...