259 search results - page 11 / 52 » ccs 2010 |
106
Voted
APLAS
2010
ACM
15 years 27 days ago
2010
ACM
Semantic preorders between processes are usually applied in practice to model approximation or implementation relationships. For interactive models these preorders depend crucially...
145
click to vote
IFIP
2010
Springer
14 years 7 months ago
2010
Springer
Modern embedded systems are often heterogeneous in that their design requires several description paradigms, based on different models of computation and concurrency (MoCCs). In th...
116
Voted
TWC
2010
14 years 7 months ago
2010
In this paper we focus on resource allocation for next generation wireless communication systems with aggregation of multiple Component Carriers (CCs), i.e., how to assign the CCs ...
ENTCS
2006
15 years 21 days ago
2006
A process is extensionally deterministic if, after any trace s and given any event a, it is either certain to accept or certain to refuse a (stably) after s. We show how several p...
92
Voted
CGF
2010
15 years 24 days ago
2010
This paper presents a straightforward algorithm for constructing connections on discrete surfaces that are as smooth as possible everywhere but on a set of isolated singularities ...