9626 search results - page 1825 / 1926 » Invariant Based Programming |
104
click to vote
IFIP
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We present an analysis that determines when it is possible to multiplex a pair of cryptographic protocols. We present a transformation that improves the coverage of this ...
120
click to vote
ISMM
2009
Springer
15 years 8 months ago
2009
Springer
Applying computer technology, such as computer vision in driver assistance, implies that processes and data are modeled as being discretized rather than being continuous. The area ...
105
click to vote
OOPSLA
2009
Springer
15 years 8 months ago
2009
Springer
The high degree of complexity and autonomy of future robotic space missions, such as Mars Science Laboratory (MSL), poses serious challenges in assuring their reliability and ef...
103
Voted
OOPSLA
2009
Springer
15 years 8 months ago
2009
Springer
Software correctness has bedeviled the field of computer science since its inception. Software complexity has increased far more quickly than our ability to control it, reaching ...
120
click to vote
OTM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. In this experience report, we present an evaluation of different techniques to manage concurrency in the context of application servers. Traditionally, using entity beans...