1653 search results - page 321 / 331 » Timed analysis of security protocols |
PAM
2010
Springer
14 years 2 months ago
2010
Springer
Network traces are essential for a wide range of network applications, including traffic analysis, network measurement, performance monitoring, and security analysis. Existing cap...
EDO
2005
Springer
14 years 1 months ago
2005
Springer
This paper addresses the issues of test coverage analysis of J2EE servers. These middleware are nowadays at the core of the modern information technology’s landscape. They provi...
GIS
2005
ACM
14 years 8 months ago
2005
ACM
Contraflow, or lane reversal, is a way of increasing outbound capacity of a real network by reversing the direction of inbound roads during evacuations. The contraflow is consider...
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
Software systems evolve over time due to changes in requirements, optimization of code, fixes for security and reliability bugs etc. Code churn, which measures the changes made to...
IISWC
2008
IEEE
14 years 1 months ago
2008
IEEE
— Java has become one of the predominant languages for embedded and mobile platforms due to its architecturally neutral design, portability, and security. But Java execution in t...