974 search results - page 30 / 195 » Formal Modeling of Communication Traces |
CORR
2008
Springer
13 years 7 months ago
2008
Springer
This paper presents a brief overview of several studies concerning the indoor wireless communications at 60 GHz performed by the IETR. The characterization and the modeling of the...
HICSS
2000
IEEE
13 years 11 months ago
2000
IEEE
This article describes a research project in the area of cooperative telelearning. It summarizes the characteristics and results of a groupware-supported international teleseminar...
CSFW
1998
IEEE
13 years 11 months ago
1998
IEEE
This paper applies the theory of Communicating Sequential Processes (CSP) to the modelling and analysis of a non-repudiation protocol. Non-repudiation protocols di er from authent...
SDL
2007
13 years 8 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
DAC
2002
ACM
14 years 8 months ago
2002
ACM
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...