Sciweavers

6618 search results - page 1159 / 1324
» Information and Communication Technologies for Development
Sort
View
PERCOM
2010
ACM
15 years 4 months ago
Integrating people-centric sensing with social networks: A privacy research agenda
During the last few years there has been an increasing number of people-centric sensing projects, which combine location information with other sensors available on mobile devices,...
Ioannis Krontiris, Felix C. Freiling
DLS
2009
196views Languages» more  DLS 2009»
15 years 4 months ago
Contracts for first-class modules
Behavioral software contracts express properties concerning the flow of values across component (modules, classes, etc) interfaces. These properties are often beyond the reach of ...
T. Stephen Strickland, Matthias Felleisen
AMCS
2011
341views Mathematics» more  AMCS 2011»
15 years 1 months ago
FSP and FLTL framework for specification and verification of middle-agents
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
Amelia Badica, Costin Badica
CDC
2010
IEEE
146views Control Systems» more  CDC 2010»
15 years 1 months ago
Adaptive autonomous soaring of multiple UAVs using Simultaneous Perturbation Stochastic Approximation
Abstract-- This paper presents a new algorithm for maximizing the flight duration of a single UAV (Uninhabited Air Vehicle) and UAVs group using the thermal model developed by Alle...
Cathrine Antal, Oleg Granichin, Sergey Levi
CDC
2010
IEEE
116views Control Systems» more  CDC 2010»
15 years 1 months ago
A stochastic control approach to coding with feedback over degraded broadcast channels
In this paper we attempt to further demonstrate connections between information theory and control, in a networked setting. Specifically, we consider the communication problem of b...
Siva K. Gorantla, Todd P. Coleman
« Prev « First page 1159 / 1324 Last » Next »