Sciweavers

4118 search results - page 28 / 824
» Mechanisms for usage control
Sort
View
SASO
2007
IEEE
14 years 2 months ago
Towards Self-organizing Virtual Macro Sensors
The future mass deployment of pervasive and dense sensor network infrastructures calls for proper mechanisms to enable extracting general-purpose data from them at limited costs a...
Nicola Bicocchi, Marco Mamei, Franco Zambonelli
ENTCS
2000
70views more  ENTCS 2000»
13 years 8 months ago
A Space Semantics for Core Haskell
Haskell currently lacks a standard operational semantics. We argue that such a semantics should be provided to enable reasoning about operational properties of programs, to ensure...
Adam Bakewell, Colin Runciman
ICARCV
2008
IEEE
200views Robotics» more  ICARCV 2008»
14 years 2 months ago
An active ball handling mechanism for RoboCup
—This paper describes a new active ball handling method for the RoboCup mid-size league as used by team Tech United at Eindhoven University of Technology. A theoretical model is ...
Jeroen de Best, René van de Molengraft
CDC
2010
IEEE
13 years 3 months ago
Market-based control mechanisms for electric power demand response
We propose a settlement mechanism for optimally scheduling real time electricity consumption which is suitable for an automated demand response control system. Our proposed settlem...
Anthony Papavasiliou, Haitham Hindi, Daniel Greene
HAPTICS
2003
IEEE
14 years 1 months ago
Toward Robust Passivity: A Passive Control Implementation Structure for Mechanical Teleoperators
In previous papers, a passive control implementation structure is proposed for mechanical systems interacting with physical environments. The proposed implementation structure enf...
Dongjun Lee, Perry Y. Li