473 search results - page 60 / 95 » Behavioural Models for Hierarchical Components |
116
click to vote
CLEIEJ
2006
14 years 12 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
EDOC
2006
IEEE
15 years 5 months ago
2006
IEEE
— An enterprise architecture is intended to be a comprehensive blueprint describing the key components and relationships for an enterprise from strategies to business processes t...
IROS
2006
IEEE
15 years 5 months ago
2006
IEEE
- In this paper, we seek to understand how leg muscles and tendons work mechanically during walking in order to motivate the design of efficient robotic legs. We hypothesize that a...
CODES
1999
IEEE
15 years 4 months ago
1999
IEEE
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...
103
click to vote
DAIS
2006
15 years 1 months ago
2006
Abstract. In this paper, we define a model-driven design trajectory for contextaware services consisting of three levels of models with different degrees of ion and platform indepe...