2867 search results - page 281 / 574 » Effectiveness of Index Expressions |
147
click to vote
FCT
2003
Springer
15 years 12 months ago
2003
Springer
We develop new proof techniques, based on non-interference, for the analysis of safety and liveness properties of cryptographic protocols expressed as terms of the process algebra ...
157
click to vote
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. The hiding of internal invariants creates a mismatch between procedure specifications in an interface and proof obligations on the implementations of those procedures. T...
197
click to vote
ISMAR
2002
IEEE
15 years 11 months ago
2002
IEEE
We propose a new scheme to recover the eye-contact between multiple users in a Shared Mixed-Reality Space. The eye-contact in a shared mixed-reality space is lost as the side effe...
162
click to vote
UML
1999
Springer
15 years 11 months ago
1999
Springer
The Object Constraint Language (OCL) is a precise language for notating behavioural constraints on UML models. Constraint diagrams have been proposed as a means of notating similar...
195
click to vote
ISSS
1998
IEEE
15 years 11 months ago
1998
IEEE
False path analysis is an activity with applications in a variety of computer science and engineering domains like for instance high-level synthesis, worst case execution time est...