Sciweavers

102 search results - page 21 / 21
» Applying Extended Finite State Machines in Software Testing ...
Sort
View
FUIN
2008
119views more  FUIN 2008»
13 years 4 months ago
Modeling Communication with Synchronized Environments
A deterministic behavior of systems composed of several modules is a desirable design goal. Assembling a complex system from components requires also a high degree of re-usability....
Tiberiu Seceleanu, Axel Jantsch
RTAS
2005
IEEE
13 years 10 months ago
Timing Analysis of TCP Servers for Surviving Denial-of-Service Attacks
— Denial-of-service attacks are becoming more frequent and sophisticated. Researchers have proposed a variety of defenses, including better system configurations, infrastructure...
V. Krishna Nandivada, Jens Palsberg