Sciweavers

4074 search results - page 222 / 815
» Defining Computational Aesthetics
Sort
View
197
Voted
POPL
2009
ACM
16 years 1 months ago
A model of cooperative threads
We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until the...
Gordon D. Plotkin, Martín Abadi
VLSID
2001
IEEE
117views VLSI» more  VLSID 2001»
16 years 1 months ago
Dynamic Voltage Scheduling Using Adaptive Filtering of Workload Traces
Abstract - An adaptive approach for dynamic voltage scheduling on processors is presented based on workload prediction by filtering a trace history. The effects of update frequency...
Amit Sinha, Anantha Chandrakasan
PERCOM
2006
ACM
16 years 10 days ago
Introducing History-Enriched Security Context Transfer to Enhance the Security of Subsequent Handover
Many solutions for securing inter-provider handover proposed to date make use of the concept of security context transfer. However, none of these solutions addresses problems aris...
Ulrike Meyer, Susanne Wetzel
105
Voted
WISE
2009
Springer
15 years 10 months ago
Security Policy Definition Framework for SOA-Based Systems
This paper presents an extended architecture of a policy definition framework fine-tuned for service-oriented environments conforming to the SOA distributed processing paradigm. We...
Bartosz Brodecki, Piotr Sasak, Michal Szychowiak
75
Voted
HRI
2010
ACM
15 years 7 months ago
Exploring emotive actuation and its role in human-robot interaction
— In this paper, we present our research efforts in exploring the role of motion and actuation in human-robot interaction. We define Emotive Actuation, and briefly discuss its fu...
John Harris, Ehud Sharlin