3228 search results - page 250 / 646 » Computationally Sound Proofs |
125
click to vote
APLAS
2007
ACM
15 years 8 months ago
2007
ACM
The integration of functional and logic programming is a well developed field of research. We discuss that the integration could be improved significantly in two separate aspects: ...
137
click to vote
OPODIS
2004
15 years 6 months ago
2004
A sensor is a battery-operated small computer with an antenna and a sensing board that can sense magnetism, sound, heat, etc. Sensors in a network can use their antennas to communi...
145
click to vote
ENTCS
2008
15 years 4 months ago
2008
We study the algebraic structure of directed bigraphs, a bigraphical model of computations with locations, connections and resources previously introduced as a unifying generaliza...
150
click to vote
ENTCS
2008
15 years 4 months ago
2008
In this paper we present a game semantics for a quantum programming language based on a new definition of quantum strategies. The language studied is MCdata, a typed version of th...
162
click to vote
SIGCSE
2008
ACM
15 years 4 months ago
2008
ACM
Many individual instructors--and, in some cases, entire universities--are gravitating towards the use of comprehensive learning management systems (LMSs), such as Blackboard and M...