1886 search results - page 25 / 378 » Verifying and Validating Simulation Models |
INFOCOM
2002
IEEE
15 years 2 months ago
2002
IEEE
Forcing all IP packets to carry correct source addresses can greatly help network security, attack tracing, and network problem debugging. However, due to asymmetries in toda...
107
click to vote
PE
2010
Springer
14 years 4 months ago
2010
Springer
In today's Internet, a large part of the traffic is carried using the TCP transport protocol. Characterization of the variations of TCP traffic is thus a major challenge, bot...
IM
2007
14 years 11 months ago
2007
- Many researchers have considered security policy management, including how to configure policies manually and even how to automatically generate security policies based on securi...
ICWS
2008
IEEE
14 years 11 months ago
2008
IEEE
Service level agreements (SLAs) impose many nonfunctional requirements on services. Business analysts specify and check these requirements in business process models using tools s...
ICFEM
2004
Springer
15 years 3 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...