2272 search results - page 146 / 455 » A Calculus for |
165
click to vote
AOSD
2007
ACM
15 years 10 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...
174
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
Abstract. We propose an extension of the Applied Pi
158
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
The proof-theoretic approach to logic programming has benefited from the
166
click to vote
GLOBECOM
2009
IEEE
15 years 10 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...