1307 search results - page 121 / 262 » Follow the intellectual property |
100
click to vote
CISC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. In this paper, we propose a signcryption scheme which provides all the following properties at the same time. (1) forward security: the private key of a sender does not h...
HOPL
2007
15 years 5 months ago
2007
This is an account of the development of the languages Modula-2 and Oberon. Together with their ancestors ALGOL 60 and Pascal they form a family called Algollike languages. Pascal...
100
click to vote
CIVR
2006
Springer
15 years 5 months ago
2006
Springer
Content-based video navigation is an efficient method for browsing video information. A common approach is to cluster shots into groups and visualize them afterwards. In this paper...
111
click to vote
ESOP
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
112
click to vote
FASE
2000
Springer
15 years 5 months ago
2000
Springer
A proof system is presented for the verification and derivation of object oriented programs with as main features strong typing, dynamic binding, and inheritance. The proof system...