678 search results - page 24 / 136 » A Universal Framework for Self-Replication |
ICSP
1993
14 years 11 months ago
1993
The importance of a clear conceptual and terminological framework for software process engineering and the shortcomings of previous clari cation attempts are discussed. A rst issu...
ACM
1993
15 years 1 months ago
1993
ional Frameworks: Toolkits and Abstractions In Introductory Computer Science Cynthia Brown, Harriet Fell, Viera Proulx, Richard Rasala College of Computer Science, Northeastern Uni...
PERVASIVE
2010
Springer
14 years 8 months ago
2010
Springer
ing model abstracts over various types of positioning systems and incorporates the capture of uncertainty, serving as a foundation on which developers can apply sensor-fusion techn...
CORR
2011
Springer
14 years 1 months ago
2011
Springer
We define a logical framework with singleton types and one universe of small types. We give the semantics using a PER model; it is used for constructing a normalisation-by-evaluat...
CLEF
2011
Springer
13 years 9 months ago
2011
Springer
Abstract This paper describes the University of Sheffield entry for the 3rd International Competition on Plagiarism Detection which attempted the monolingual external plagiarism d...