5838 search results - page 395 / 1168 » A File System for System Programming in Ubiquitous Computing |
161
Voted
MSCS
2000
15 years 4 months ago
2000
This paper introduces a Hilbert system for lambda calculus called sequent combinators. Sequent combinators address many of the problems of Hilbert systems, which have led to the m...
133
Voted
IWEC
2004
15 years 6 months ago
2004
With the increase of computer capabilities, many learning systems have become complex simulators with advanced interfaces close to game quality. However, many games features have n...
134
click to vote
IPL
2010
15 years 3 months ago
2010
Branching vector addition systems are an extension of vector addition systems where new reachable vectors may be obtained by summing two reachable vectors and adding an integral v...
166
Voted
FLOPS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This article is a brief and subjective survey of quantum programming language research. 1 Quantum Computation Quantum computing is a relatively young subject. It has its ...
174
click to vote
APSEC
2002
IEEE
15 years 10 months ago
2002
IEEE
We have taught several distributed software engineering project courses with students and real clients [4]. During these projects, students in Pittsburgh and Munich, Germany colla...