1675 search results - page 76 / 335 » Compositional Model-Based Design |
ICRA
2003
IEEE
14 years 2 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
14 years 2 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...
AGP
1994
IEEE
14 years 1 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,...
FORTE
2008
13 years 11 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...
GG
2008
Springer
13 years 10 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...