1077 search results - page 118 / 216 » Formal Checking of Properties in Complex Systems Using Abstr... |
123
Voted
JCP
2006
15 years 3 months ago
2006
Abstract-- This paper is concerned with passwordauthenticated key agreement protocols. Designing such protocols represents an interesting challenge since there is no standard way o...
171
Voted
CORR
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
126
Voted
ECOOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Lightweight bytecode verification uses stack maps to annotate Java bytecode programs with type information in order to reduce the verification to type checking. This pape...
137
Voted
TPHOL
1998
IEEE
15 years 8 months ago
1998
IEEE
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...
117
Voted
ADAEUROPE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...