44 search results - page 1 / 9 » Observational Purity and Encapsulation |
FASE
2005
Springer
14 years 4 months ago
2005
Springer
FASE
2008
Springer
14 years 19 days ago
2008
Springer
For a number of programming languages, among them Eiffel, C, Java and Ruby, Hoare-style logics and dynamic logics have been developed. In these logics, pre- and postconditions are ...
ERSA
2010
13 years 8 months ago
2010
The pixel purity index algorithm is employed in remote sensing for analyzing hyperspectral images. A single pixel usually covers several different materials, and its observed spect...
CSFW
2005
IEEE
14 years 4 months ago
2005
IEEE
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...
ICISC
2007
14 years 9 days ago
2007
Query-response based protocols between a client and a server such as SSL, TLS, SSH are asymmetric in the sense that the querying client and the responding server play different ro...