1525 search results - page 190 / 305 » Formal Models for Communication-Based Design |
110
Voted
ICCS
2005
Springer
15 years 6 months ago
2005
Springer
The paper presents the Multi Agent System (MAS) designed for the large scale parallel computations. The special kind of diffusionbased scheduling enables to decompose and allocate...
119
Voted
SAC
2006
ACM
15 years 22 days ago
2006
ACM
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...
102
Voted
ICST
2008
IEEE
15 years 7 months ago
2008
IEEE
Real-time embedded systems typically include concurrent tasks of different priorities with time-dependent operations accessing common resources. In this context, unsynchronized pa...
113
Voted
APN
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. In this work, we address the problem of transient and steadystate analysis of a stochastic Petri net which includes non Markovian distributions with a finite support but ...
97
Voted
AAMAS
2007
Springer
15 years 28 days ago
2007
Springer
We propose an operational model that combines message meaning and conversational structure in one comprehensive approach. Our long-term research goal is to lay down principles unit...