927 search results - page 65 / 186 » Detection of Simple Plagiarism in Computer Science Papers |
138
click to vote
GI
2004
Springer
15 years 9 months ago
2004
Springer
: Future mobile networks will offer a great variety of multimedia services. DiffServ is the promising framework standardized by the IETF to enhance the Internet with the essential ...
105
click to vote
GI
2009
Springer
15 years 8 months ago
2009
Springer
: In this paper we present the concurrent constraint functional programming CCFL and an abstract machine for the evaluation of CCFL programs in a multicore environment. The source ...
117
click to vote
TLCA
2001
Springer
15 years 8 months ago
2001
Springer
In this paper we introduce a cut-elimination procedure for classical logic, which is both strongly normalising and consisting of local proof transformations. Traditional cut-elimin...
175
click to vote
MFCS
1994
Springer
15 years 8 months ago
1994
Springer
We introduce in this paper new communication and synchronization constructs which allow deterministic processes, communicating asynchronously via unbounded FIFO bu ers, to cope wi...
151
click to vote
ACMSE
2007
ACM
15 years 8 months ago
2007
ACM
Although skip lists were introduced as an alternative to balanced binary search trees (BSTs), we show that the skip list can be interpreted as a type of randomly-balanced BST whos...