974 search results - page 10 / 195 » Formal Modeling of Communication Traces |
ZUM
2000
Springer
13 years 11 months ago
2000
Springer
We have recently completed the specication and security proof of a large, industrial scale application. The application is security critical, and the modelling and proof were done ...
HICSS
2003
IEEE
14 years 19 days ago
2003
IEEE
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
ICFCA
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. In the past years Software Engineering has experienced several difficulties in modularising crosscutting aspects, like shared, dynamic or scattered behavior of object-ori...
ICC
2007
IEEE
13 years 11 months ago
2007
IEEE
A new statistical channel model known as the Multiple Scatterer Channel (MSC) is developed to capture the time variations of both line-of-sight (LOS) and non-line-of-sight (NLOS) f...
MASCOTS
2010
13 years 8 months ago
2010
Execution and communication traces are central to performance modeling and analysis. Since the traces can be very long, meaningful compression and extraction of representative beha...