Sciweavers

10271 search results - page 1701 / 2055
» Self-plagiarism in computer science
Sort
View
ENTCS
2008
129views more  ENTCS 2008»
15 years 6 months ago
The York Abstract Machine
Abstract Machine Greg Manning1 Detlef Plump2 Department of Computer Science The University of York, UK duce the York Abstract Machine (YAM) for implementing the graph programming ...
Greg Manning, Detlef Plump
CRYPTOLOGIA
2006
67views more  CRYPTOLOGIA 2006»
15 years 6 months ago
Underwater Hacker Missile Wars: A Cryptography and Engineering Contest
For a recent student conference, the authors developed a day-long design problem and competition suitable for engineering, mathematics, and science undergraduates. The competition ...
Joshua Holden, Richard Layton, Laurence D. Merkle,...
IJVR
2008
130views more  IJVR 2008»
15 years 6 months ago
An Example of Virtual Environment and Web-based Application in Learning
Due to its importance as a model for several software and hardware applications, automata theory is a core topic in computer science and engineering education. But because of its m...
Mohamed Hamada
JAPLL
2008
79views more  JAPLL 2008»
15 years 6 months ago
The seven virtues of simple type theory
Simple type theory, also known as higher-order logic, is a natural extension of first-order logic which is simple, elegant, highly expressive, and practical. This paper surveys th...
William M. Farmer
JDA
2008
85views more  JDA 2008»
15 years 6 months ago
A robust randomized algorithm to perform independent tasks
The Do-All problem is about scheduling t similar and independent tasks to be performed by p processors prone to crashes. We assume that the distributed system is synchronous with ...
Bogdan S. Chlebus, Leszek Gasieniec, Dariusz R. Ko...
« Prev « First page 1701 / 2055 Last » Next »