205 search results - page 1 / 41 » Modelling and Analysis of Distributed Simulation Protocols w... |
ACSD
2005
IEEE
13 years 10 months ago
2005
IEEE
This paper presents our approach to model distributed discrete event simulation systems in the framework of distributed graph transformation. We use distributed typed attributed g...
RTS
2006
13 years 4 months ago
2006
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
ICTAC
2005
Springer
13 years 10 months ago
2005
Springer
In distributed and mobile systems with volatile bandwidth and fragile connectivity, non-functional aspects like performance and reliability become more and more important. To forma...
FM
2006
Springer
13 years 8 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
HICSS
1996
IEEE
13 years 8 months ago
1996
IEEE
The venerable problem solving technique of simulation finds itself inthe midstof a revolution. Where once it was regarded as a "technique of last resort" for systems ana...