2482 search results - page 31 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
115
click to vote
CPHYSICS
2006
15 years 2 months ago
2006
Studies on the entanglement of n-qubit quantum systems have attracted a lot of interest during recent years. Despite the central role of entanglement in quantum information theory...
SIGCSE
2002
ACM
15 years 1 months ago
2002
ACM
This paper describes a Java-based distance-education tool, called the Environment for Remote Programming Assignments in Java (JERPA), for use in computer science courses with Java...
108
Voted
CCS
2010
ACM
15 years 2 months ago
2010
ACM
Decentralized information flow control (DIFC) operating systems provide applications with mechanisms for enforcing information-flow policies for their data. However, significant o...
150
click to vote
LICS
1993
IEEE
15 years 6 months ago
1993
IEEE
We consider the veri cation of a particular class of in nite-state systems, namely systems consisting of nite-state processes that communicate via unbounded lossy FIFO channels. T...
149
click to vote
CONCUR
1991
Springer
15 years 5 months ago
1991
Springer
Abstract. A syntax-directed formal system for the development of totally correct programs with respect to an (unfair) shared-state parallel programming language is proposed. The pr...