13306 search results - page 437 / 2662 » Theoretical Computer Science |
253
Voted
CSR
2008
Springer
15 years 9 months ago
2008
Springer
We offer cryptanalysis of a key exchange scheme due to Stickel [11], which was inspired by the well-known Diffie-Hellman protocol. We show that Stickel's choice of platform (t...
183
Voted
CSE
2009
IEEE
15 years 8 months ago
2009
IEEE
Recent years have witnessed an increasing trend of enterprises outsource their IT services to third parties. A major concern in database outsourcing paradigm is integrity verificat...
174
click to vote
CSO
2009
IEEE
15 years 8 months ago
2009
IEEE
In order to extract catchwords, new words and other kinds of words for language monitoring, this paper propose the temporal-spatial modeling, which seemed the sort of words as the...
167
Voted
GG
2008
Springer
15 years 8 months ago
2008
Springer
The tautology problem is the problem to prove the validity of statements. In this paper, we present a calculus for this undecidable problem on graphical conditions, prove its sound...
186
click to vote
GG
2008
Springer
15 years 8 months ago
2008
Springer
Abstract Synchronising Graphs is a system of parallel graph transformation designed for modeling process interaction in a network environment. We propose a theory of context-free s...