3575 search results - page 33 / 715 » Modeling Concurrency with Geometry |
122
click to vote
CORR
2011
Springer
14 years 1 months ago
2011
Springer
—Multi-cell cooperation is a promising approach for mitigating inter-cell interference in dense cellular networks. Quantifying the performance of multi-cell cooperation is challe...
PATMOS
2010
Springer
14 years 7 months ago
2010
Springer
HICSS
2007
IEEE
15 years 4 months ago
2007
IEEE
Fine grained concurrency and accurate timing can be essential for embedded hardware and software systems. These requirements should be reflected in the specification and must be c...
ICICS
2005
Springer
15 years 3 months ago
2005
Springer
The notion of concurrent signatures was recently introduced by Chen, Kudla and Paterson. In concurrent signature schemes, two entities can produce two signatures that are not bindi...
CSL
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...