759 search results - page 51 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
—Today, international mobile roaming (IMR) is experiencing changes both in terms of technology and business models. Traditionally, voice and SMS have been the only services offer...
ACSAC
2002
IEEE
14 years 1 months ago
2002
IEEE
The threat to organisations from network attacks is very real. Current countermeasures to denial of service (DoS) attacks rely on the perimeter model of network security. However,...
GECCO
2003
Springer
14 years 2 months ago
2003
Springer
A robust structural damage detection method that can handle noisy frequency response function information is discussed. The inherent unstructured nature of damage detection problem...
LICS
2007
IEEE
14 years 3 months ago
2007
IEEE
In an influential paper titled “The Benefits of Relaxing Punctuality” [2], Alur, Feder, and Henzinger introduced Metric Interval Temporal Logic (MITL) as a fragment of the r...
CLUSTER
2006
IEEE
14 years 21 days ago
2006
IEEE
One of the most important collective communication patterns used in scientific applications is the complete exchange, also called All-to-All. Although efficient complete exchange ...