3256 search results - page 347 / 652 » Mixin-Based Programming in C |
122
click to vote
APLAS
2008
ACM
15 years 5 months ago
2008
ACM
Abstract. We propose c2-calculus, which is a second-order polymorphic call-by-value calculus with extensional universal types. Unlike product types or function types in call-by-val...
128
click to vote
CSFW
2008
IEEE
15 years 4 months ago
2008
IEEE
Declassification occurs when the confidentiality of information is weakened; erasure occurs when the confidentiality of information is strengthened, perhaps to the point of comple...
AAAI
2006
15 years 4 months ago
2006
Starting in the fall of 2005 our department began a large-scale effort to incorporate hands-on robotics in many of our courses, including our introductory computer science sequenc...
138
click to vote
APBC
2003
15 years 4 months ago
2003
The development of high-throughput genome sequencing and protein structure determination techniques have provided researchers with a wealth of biological data. Integrated analysis...
CCR
2008
15 years 3 months ago
2008
This paper claims that Shadow Technical Program Committee (TPC) should be organized on a regular basis for attractive conferences in the networking domain. It helps ensuring that ...