1071 search results - page 13 / 215 » The Calculus of Algebraic Constructions |
ROOM
2000
14 years 10 months ago
2000
This paper is a proposal for a new two-tier calculus, designed to model aspects of CORBA-like systems at the CORBA evel. The higher object level known as Oompa abstracts away from...
103
click to vote
SIGMOD
2007
ACM
15 years 9 months ago
2007
ACM
We survey expressivity results for navigational frag
62
Voted
FOSSACS
2005
Springer
15 years 3 months ago
2005
Springer
GLOBECOM
2009
IEEE
15 years 1 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...
61
Voted
JFP
2002
14 years 9 months ago
2002