2478 search results - page 251 / 496 » Message from the Chair |
135
click to vote
ICCD
2008
IEEE
16 years 1 months ago
2008
IEEE
— The need for efficient implementation of simple crossbar schedulers has increased in the recent years due to the advent of on-chip interconnection networks that require low la...
144
click to vote
IEEEARES
2010
IEEE
15 years 11 months ago
2010
IEEE
Formal verification can give more confidence in the security of cryptographic protocols. Application specific security properties like “The service provider does not loose mo...
131
Voted
CHI
2010
ACM
15 years 11 months ago
2010
ACM
Shifts in the culture of civic engagement, technologies and practices surrounding social media, and pressure from political leaders have ignited a movement amongst gov’t agencie...
223
Voted
ESOP
2009
Springer
15 years 11 months ago
2009
Springer
We generalise a theory of multiparty session types for the π-calculus through asynchronous communication subtyping, which allows partial commutativity of actions with maximal fle...
142
Voted
ICC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—This paper studies the coexistence of several independent and dynamic wireless networks using the frequency hopping technique in the unlicensed radio band. We propose a ...