Sciweavers

1620 search results - page 21 / 324
» eg 2010
Sort
View
TAAS
2010
124views more  TAAS 2010»
14 years 4 months ago
The MACODO organization model for context-driven dynamic agent organizations
stractions that support application developers to describe dynamic organizations. The organization model is part of an integrated approach, called MACODO: Middleware Architecture f...
Danny Weyns, Robrecht Haesevoets, Alexander Helleb...
TIP
2010
119views more  TIP 2010»
14 years 4 months ago
Software Designs of Image Processing Tasks With Incremental Refinement of Computation
Software realizations of computationally-demanding image processing tasks (e.g. image transforms and convolution) do not currently provide graceful degradation when their clock-cy...
Davide Anastasia, Yiannis Andreopoulos
108
Voted
TON
2010
107views more  TON 2010»
14 years 4 months ago
Leveraging Dynamic Spare Capacity in Wireless Systems to Conserve Mobile Terminals' Energy
In this paper we study several ways in which mobile terminals can backoff on their uplink transmit power in order to extend battery lifetimes. This is particularly effective when a...
Hongseok Kim, Gustavo de Veciana
ENTCS
2007
116views more  ENTCS 2007»
14 years 9 months ago
A Logical Characterisation of Static Equivalence
The work of Abadi and Fournet introduces the notion of a frame to describe the knowledge of the environment of a cryptographic protocol. Frames are lists of terms; two frames are ...
Hans Hüttel, Michael D. Pedersen
CHI
2010
ACM
15 years 1 months ago
Exploring the design space in technology-augmented dance
In this paper we describe the process and technology behind a dance performance, “Bodies/Antibodies,” that will be presented at CHI 2010. This performance is part of an ongoin...
Celine Latulipe, David C. Wilson, Sybil Huskey, Me...