220 search results - page 4 / 44 » Verifying a signature architecture: a comparative case study |
ECMDAFA
2007
Springer
15 years 3 months ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
ICTAC
2005
Springer
15 years 3 months ago
2005
Springer
In distributed and mobile systems with volatile bandwidth and fragile connectivity, non-functional aspects like performance and reliability become more and more important. To forma...
85
Voted
ASIASIM
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. It is important to simulate a groundwater transport process, e.g., pollutant migration, through the vadose zone and subsequent mixing within the saturated zone to assess ...
ICNS
2009
IEEE
15 years 4 months ago
2009
IEEE
—The majority of security protocols employ public key cryptography for authentication at least in the connection setup phase. However, verifying digital signatures is an expensiv...
DAC
1999
ACM
15 years 10 months ago
1999
ACM
? The economic viability of the reusable core-based design paradigm depends on the development of techniques for intellectual property protection. We introduce the first dynamic wa...