Sciweavers

703 search results - page 89 / 141
» A general framework for multidimensional adaptation
Sort
View
EDBT
2008
ACM
122views Database» more  EDBT 2008»
14 years 8 months ago
Architectural Concerns for Flexible Data Management
Evolving database management systems (DBMS) towards more flexibility in functionality, adaptation to changing requirements, and extensions with new or different components, is a c...
Ionut Emanuel Subasu, Patrick Ziegler, Klaus R. Di...
SP
2009
IEEE
114views Security Privacy» more  SP 2009»
14 years 2 months ago
Formally Certifying the Security of Digital Signature Schemes
We present two machine-checked proofs of the existential unforgeability under adaptive chosen-message attacks of the Full Domain Hash signature scheme. These proofs formalize the ...
Santiago Zanella Béguelin, Gilles Barthe, B...
ICRA
2009
IEEE
141views Robotics» more  ICRA 2009»
14 years 2 months ago
Towards a navigation system for autonomous indoor flying
— Recently there has been increasing research on the development of autonomous flying vehicles. Whereas most of the proposed approaches are suitable for outdoor operation, only ...
Slawomir Grzonka, Giorgio Grisetti, Wolfram Burgar...
MM
2009
ACM
146views Multimedia» more  MM 2009»
14 years 2 months ago
Sports video retargeting
With the proliferation of diverse multimedia terminals, the request for elegantly retargeting videos to different display devices is evident, especially in sports. This demonstra...
Liang Shi, Jinqiao Wang, Lingyu Duan, Hanqing Lu
MOBIQUITOUS
2008
IEEE
14 years 2 months ago
A secure middleware for wireless sensor networks
SMEPP Light is a middleware for Wireless Sensor Networks (WSNs) based on mote-class sensors. It is derived from the specification developed under the framework of the SMEPP proje...
Claudio Vairo, Michele Albano, Stefano Chessa