2436 search results - page 314 / 488 » Comonadic Notions of Computation |
134
click to vote
OZCHI
2005
ACM
16 years 3 days 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...
175
click to vote
SIGECOM
2005
ACM
16 years 3 days 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 ...
146
click to vote
WMASH
2005
ACM
16 years 3 days 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...
186
click to vote
CASSIS
2005
Springer
16 years 3 days 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...
137
click to vote
CONCUR
2005
Springer
16 years 3 days 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...