762 search results - page 92 / 153 » Behavioural Models for Group Communications |
QUESTA
1998
13 years 8 months ago
1998
This paper presents an approximation method for numerically solving general Markov modulated fluid models which are widely used in modelling communications and computer systems. ...
WORDS
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper presents a method to analyze the timing behavior of an event-based real-time protocol composition framework. The framework, called RT-Appia, allows the development and ...
JUCS
2007
13 years 9 months ago
2007
: For modeling real-life situations where not only the intensity of the relation existing between elements but also its polarity is important, we have proposed (see [Marcus and Tat...
EDOC
2002
IEEE
14 years 2 months ago
2002
IEEE
The main objective of the CORAS project is to provide methods and tools for precise, unambiguous, and efficient risk assessment of security critical systems. To this end, we advoc...
TOOLS
1999
IEEE
14 years 1 months ago
1999
IEEE
The development of large software systems demands intensive cooperation among multiple project team members with different responsibilities. The development process is often distr...