58 search results - page 8 / 12 » UML Profiles for Modeling Real-Time Communication Protocols |
SAFECOMP
2007
Springer
15 years 5 months ago
2007
Springer
We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools p...
115
Voted
ICDCS
2005
IEEE
15 years 5 months ago
2005
IEEE
We propose and evaluate a model for controlling infection patterns defined over rounds or real time in a gossipbased protocol using adaptive fanout. We model three versions of go...
EDUTAINMENT
2007
Springer
15 years 5 months ago
2007
Springer
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
CAISE
2006
Springer
15 years 3 months ago
2006
Springer
An adaptive e-learning system needs meaningful information about the learners, the user profile, to achieve a correct content tuning for each of the students. The gathering of this...
DAGSTUHL
2003
15 years 1 months ago
2003
Message Sequence Charts (MSCs) is a notation used in practice by protocol designers and system engineers. It is defined within an international standard (ITU Z120), and is also i...