1323 search results - page 127 / 265 » Extended Modeling Languages for Interaction Protocol Design |
96
Voted
BIOWIRE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Here we study the plausibility of a phase oscillators dynamical model for time division for multiple access in wireless communication networks. We show that emerging patt...
112
click to vote
ISOLA
2004
Springer
15 years 9 months ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
155
Voted
APSEC
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
128
click to vote
SWAP
2008
15 years 5 months ago
2008
Abstract. Enterprise modelling focuses on the construction of a structured description, the so-called enterprise model, which represents (a subset of) the aspects relevant to the a...
130
click to vote
SSS
2009
Springer
15 years 10 months ago
2009
Springer
The emergence of large-scale distributed applications based on many-to-many communication models, e.g., broadcast and decentralized group communication, has an important impact on ...