2436 search results - page 339 / 488 » Comonadic Notions of Computation |
133
click to vote
ICTAC
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The potential of linear logic in facilitating reasoning on resource usage has long been recognized. However, convincing uses of linear types in practical programming are ...
152
click to vote
IEEESCC
2010
IEEE
15 years 3 months ago
2010
IEEE
—For a service to be used in a commercial setting, certain service delivery functions such as monitoring, billing, authentication, etc need to be packaged with the service. Becau...
144
click to vote
PERCOM
2010
ACM
15 years 2 months ago
2010
ACM
In this paper, we explore how to effectively create and use "instant mesh networks", i.e., wireless mesh networks that are dynamically deployed in temporary circumstances...
154
Voted
SAGT
2010
Springer
15 years 2 months ago
2010
Springer
We investigate the computational aspects of safe manipulation, a new model of coalitional manipulation that was recently put forward by Slinko and White [11]. In this model, a pot...
162
click to vote
TC
2010
15 years 2 months ago
2010
—Reliability analysis has become a tool of fundamental importance to virtually all electrical and computer engineers because of the extensive usage of hardware systems in safety ...