2687 search results - page 108 / 538 » Formal Analysis of PKCS |
145
Voted
SAS
1997
Springer
15 years 8 months ago
1997
Springer
We present a type-based flow analysis for simply typed lambda calculus with booleans, data-structures and recursion. The analysis is exact in the following sense: if the analysis ...
133
click to vote
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
In object oriented languages, dynamic memory allocation is a fundamental concept. When using such a language in hard real-time systems, it becomes important to bound both the worst...
190
Voted
AGTIVE
2007
Springer
15 years 8 months ago
2007
Springer
Meta-modeling is well known to define the basic concepts of domain-specific languages in an object-oriented way. Based on graph transformation, an abstract meta-model may be enhanc...
122
Voted
AOSE
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper describes an agent-oriented requirements engineering approach that combines informal
166
click to vote
ER
2007
Springer
15 years 10 months ago
2007
Springer
Organizations are under increasing scrutiny to document their compliance to regulatory requirements. To this end, they have to formally document their operating procedures to supp...