Sciweavers

16616 search results - page 2915 / 3324
» Extending Extended Vacuity
Sort
View
187
Voted
TEI
2010
ACM
110views Hardware» more  TEI 2010»
16 years 2 months ago
Empowering programmability for tangibles
Programming microcontrollers for tangible interfaces can be easier and more accessible than it is now, empowering a broader audience to participate. The first part of this studio ...
Eric Rosenbaum, Evelyn Eastmond, David Mellis
183
Voted
CCS
2010
ACM
16 years 2 months ago
Effective trust management through a hybrid logical and relational approach
Despite a plethora of recent research regarding trust management approaches to authorization, relatively little attention has been given to exactly how these technologies can be e...
Adam J. Lee, Ting Yu, Yann Le Gall
227
Voted
HYBRID
2010
Springer
16 years 2 months ago
Compositional analysis for linear control systems
The complexity of physical and engineering systems, both in terms of the governing physical phenomena and the number of subprocesses involved, is mirrored in ever more complex mat...
Florian Kerber, Arjan van der Schaft
202
Voted
HYBRID
2010
Springer
16 years 2 months ago
Automatic invariant generation for hybrid systems using ideal fixed points
We present computational techniques for automatically generating algebraic (polynomial equality) invariants for algebraic hybrid systems. Such systems involve ordinary differentia...
Sriram Sankaranarayanan
201
Voted
IPSN
2010
Springer
16 years 2 months ago
Online distributed sensor selection
A key problem in sensor networks is to decide which sensors to query when, in order to obtain the most useful information (e.g., for performing accurate prediction), subject to co...
Daniel Golovin, Matthew Faulkner, Andreas Krause
« Prev « First page 2915 / 3324 Last » Next »