2436 search results - page 314 / 488 » Comonadic Notions of Computation |
108
click to vote
OZCHI
2005
ACM
15 years 10 months ago
2005
ACM
We report on a care setting where staff looking after ex-psychiatric patients were supported by mobile and stationery communications technology (e.g. mobile phones, a messaging sy...
139
click to vote
SIGECOM
2005
ACM
15 years 10 months ago
2005
ACM
Algorithmic Mechanism Design focuses on Dominant Strategy Implementations. The main positive results are the celebrated Vickrey-Clarke-Groves (VCG) mechanisms and computationally ...
115
click to vote
WMASH
2005
ACM
15 years 10 months ago
2005
ACM
The unprecedented proliferation of wireless networking services and products has taken the notion of hotspots a step further to accommodate “mobile hotspots”. The deployment o...
148
click to vote
CASSIS
2005
Springer
15 years 10 months ago
2005
Springer
This paper introduces notions of resource policy for mobile code to be run on smart devices, to integrate with the proof-carrying code architecture of the Mobile Resource Guarantee...
113
click to vote
CONCUR
2005
Springer
15 years 10 months ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...