Sciweavers

Share
9 search results - page 1 / 2
» rsp 2007
Sort
View
RSP
2007
IEEE
205views Control Systems» more  RSP 2007»
13 years 3 months ago
A CABAC Encoder Design of H.264/AVC with RDO Support
X. H. Tian, Thinh M. Le, B. L. Ho, Yong Lian
RSP
2007
IEEE
141views Control Systems» more  RSP 2007»
13 years 3 months ago
Rapid Prototyping of Intrusion Detection Systems
Designing security softwares that evolve as quickly as threats is a truthful challenge. In addition, current software becomes increasingly more complex and dif´Čücult to handle ev...
Fabrice Kordon, Jean-Baptiste Voron
RSP
2007
IEEE
139views Control Systems» more  RSP 2007»
13 years 3 months ago
Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina
Building Distributed Real-Time Embedded systems requires a stringent methodology, from early requirements capture to full implementation. However, there is a strong link between t...
Jérôme Hugues, Bechir Zalila, Laurent...
RSP
2007
IEEE
139views Control Systems» more  RSP 2007»
13 years 3 months ago
Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
Doron Drusinsky, Man-tak Shing
books