4635 search results - page 431 / 927 » Modeling Design Knowledge on Structure |
178
click to vote
PODC
2004
ACM
15 years 11 months ago
2004
ACM
We analyze the properties of Small-World networks, where links are much more likely to connect “neighbor nodes” than distant nodes. In particular, our analysis provides new re...
148
click to vote
WSC
2007
15 years 8 months ago
2007
Simulation languages and the GUIs supporting them may be excellent tools for creating simulation codes, but are not necessarily the best tools to use for creating descriptions of ...
176
click to vote
ICRA
2008
IEEE
16 years 19 days ago
2008
IEEE
— In this paper a physics-based model is proposed for a biomimetic robotic fish propelled by an ionic polymermetal composite (IPMC) actuator. The model incorporates both IPMC ac...
137
click to vote
IFIP
1998
Springer
15 years 10 months ago
1998
Springer
This paper introduces the HyDev approach to structured and systematic development of typical hypermedia applications. HyDev focuses on the early phases of the development process, ...
147
click to vote
ICECCS
2005
IEEE
15 years 11 months ago
2005
IEEE
When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for cap...