173 search results - page 19 / 35 » gi 2009 |
GI
2009
Springer
13 years 12 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
GI
2009
Springer
13 years 12 months ago
2009
Springer
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
GI
2009
Springer
13 years 12 months ago
2009
Springer
: This paper describes a syntactical method for contextual equivalence in polymorphically typed lambda-calculi. Our specific calculus has letrec as cyclic let, data constructors, ...
GI
2009
Springer
13 years 11 months ago
2009
Springer
Abstract: Voter privacy and verifiability are fundamental security concepts for electronic voting. Existing literature on electronic voting provides many definitions and interpreta...
GI
2009
Springer
13 years 5 months ago
2009
Springer
: Situation awareness for ground combat vehicles is being actively developed by the U.S. Army to enable soldiers and commanders to have a better understanding of their environments...