Sciweavers

2436 search results - page 314 / 488
» Comonadic Notions of Computation
Sort
View
OZCHI
2005
ACM
15 years 10 months ago
Technology for the humdrum: trajectories, interactional needs and a care setting
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...
Connor Graham, Keith Cheverst, Mark Rouncefield
SIGECOM
2005
ACM
106views ECommerce» more  SIGECOM 2005»
15 years 10 months ago
On decentralized incentive compatible mechanisms
Algorithmic Mechanism Design focuses on Dominant Strategy Implementations. The main positive results are the celebrated Vickrey-Clarke-Groves (VCG) mechanisms and computationally ...
Ahuva Mu'alem
WMASH
2005
ACM
15 years 10 months ago
An implementation and evaluation of a mobile hotspot
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...
Eranga Perera, Henrik Petander, Kun-Chan Lan, Arun...
CASSIS
2005
Springer
15 years 10 months ago
Mobile Resource Guarantees and Policies
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...
David Aspinall, Kenneth MacKenzie
CONCUR
2005
Springer
15 years 10 months ago
Deriving Weak Bisimulation Congruences from Reduction Systems
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...
Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawe...