2163 search results - page 327 / 433 » cases 2004 |
TCC
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
TYPES
2004
Springer
15 years 3 months ago
2004
Springer
In this paper we use the Epigram language to define the universe of regular tree types—closed under empty, unit, sum, product and least fixpoint. We then present a generic deci...
UML
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The CASE tool ArgoUWE supports the systematic design of Web applications using the UML-based Web Engineering (UWE) approach. The design methodology of UWE is based on a m...
101
click to vote
UML
2004
Springer
15 years 3 months ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
VECPAR
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper presents PerWiz, a performance prediction tool for improving the performance of message passing programs. PerWiz focuses on locating where a significant impro...