703 search results - page 139 / 141 » Fundamentals of Session Types |
GLOBECOM
2010
IEEE
13 years 5 months ago
2010
IEEE
Providing air-time guarantees across a group of clients forms a fundamental building block in sharing an access point (AP) across different virtual network providers. Though this p...
ICTAC
2010
Springer
13 years 5 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
CONSTRAINTS
2010
13 years 5 months ago
2010
MiniZinc arose as a response to the extended discussion at CP2006 of the need for a standard modelling language for CP. This is a challenging problem, and we believe MiniZinc makes...
GLOBECOM
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--Wireless networks, especially mobile ad hoc networks (MANET) and cognitive radio networks (CRN), are facing two new challenges beyond traditional random network model: op...
ACCV
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. Estimation using homogeneous entities has to cope with obstacles such as singularities of covariance matrices and redundant parametrizations which do not allow an immedia...