2272 search results - page 146 / 455 » A Calculus for |
131
click to vote
AOSD
2007
ACM
15 years 8 months ago
2007
ACM
Beginning with BETA, a range of programming language mechanisms such as virtual classes (class-valued attributes of objects) have been developed to allow inheritance in the presen...
140
click to vote
APLAS
2007
ACM
15 years 8 months ago
2007
ACM
Abstract. We propose an extension of the Applied Pi
121
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
The proof-theoretic approach to logic programming has benefited from the
136
click to vote
GLOBECOM
2009
IEEE
15 years 8 months ago
2009
IEEE
A challenging research issue of analyzing networks where packets are served probabilistically, such as multi-access networks and wireless networks, is to characterize the stochasti...