1525 search results - page 202 / 305 » Formal Models for Communication-Based Design |
134
Voted
MASCOTS
2004
15 years 2 months ago
2004
Architectural designs for routers and networks of routers to support mobile communication are analysed for their end-to-end performance using a simple Markov model. In view of the...
118
Voted
ICISC
2009
14 years 10 months ago
2009
Minimizing complexity of group key exchange (GKE) protocols is an important milestone towards their practical deployment. An interesting approach to achieve this goal is to simplif...
115
Voted
EMSOFT
2007
Springer
15 years 7 months ago
2007
Springer
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
MEMOCODE
2005
IEEE
15 years 6 months ago
2005
IEEE
We describe race-free properties of a hardware description language called GEZEL. The language describes networks of cycle-true finite-state-machines with datapaths (FSMDs). We de...
129
click to vote
SIGSOFT
2003
ACM
15 years 6 months ago
2003
ACM
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is ...