831 search results - page 147 / 167 » Coalgebraic Correspondence Theory |
141
click to vote
ITNG
2007
IEEE
16 years 11 days ago
2007
IEEE
Lots of efforts in the last decades have been done to prove or disprove whether the set of polynomially bounded problems is equal to the set of polynomially verifiable problems. T...
165
click to vote
ICC
2007
IEEE
16 years 9 days ago
2007
IEEE
— The paper is concerned with a novel adaptive game server protocol optimization to combat network latencies in the case of heterogeneous network environment. In this way, game p...
163
click to vote
CCS
2007
ACM
16 years 8 days ago
2007
ACM
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...
144
click to vote
IWMM
2007
Springer
16 years 6 days ago
2007
Springer
This article presents a heap space analysis for (sequential) Java bytecode. The analysis generates heap space cost relations which define at compile-time the heap consumption of ...
166
click to vote
OTM
2007
Springer
16 years 6 days ago
2007
Springer
In recent years, existing computing schemes and paradigms have evolved towards more flexible, ad-hoc scalable frameworks. Nowadays, exchanging interactions between entities often ...