1115 search results - page 136 / 223 » An Abstract Look at Realizability |
130
click to vote
IPL
2007
15 years 4 months ago
2007
Abstract. The intention of this note is to motivate the researchers to study Hadwiger’s conjecture for circular arc graphs. Let η(G) denote the largest clique minor of a graph G...
142
click to vote
EUROMED
2010
15 years 3 months ago
2010
Abstract. CARARE is a best practice network funded by the European Commission’s ICT Policy Support Programme. The network brings together heritage agencies, organisations, archae...
124
click to vote
JPDC
2010
15 years 2 months ago
2010
Transactional Memory (TM) is a promising abstraction as it hides all synchronization complexities from the programmers of concurrent applications. More particularly the TM paradig...
136
click to vote
JUCS
2010
15 years 2 months ago
2010
Abstract: In Service-Oriented Computing (SOC) environments, service clients interact with service providers for consuming services. From the viewpoint of service clients, the trust...
132
click to vote
MACOM
2010
15 years 2 months ago
2010
Abstract. This paper focuses in the analysis of 100% static and distributed inter-cell interference coordination techniques in the context of LTE networks. Several methods have bee...