Sciweavers

16616 search results - page 279 / 3324
» Extending Extended Vacuity
Sort
View
IFIP
2009
Springer
15 years 4 months ago
On the Automated Correction of Protocols with Improper Message Encoding
Security protocols are crucial to achieve trusted computing. However, designing security protocols is not easy and so security protocols are typically faulty and have to be repaire...
Dieter Hutter, Raul Monroy
IGARSS
2009
15 years 4 months ago
Potential Fire Detection based on Kalman-driven Change Detection
A new active fire event detection algorithm for data collected with the Spinning Enhanced Visible and Infrared Imager (SEVIRI) sensor, based on the extended Kalman filter, is intr...
Frans van den Bergh, Gustave Udahemuka, Barend J. ...
CCR
2010
132views more  CCR 2010»
15 years 4 months ago
Scafida: a scale-free network inspired data center architecture
Data centers have a crucial role in current Internet architecture supporting content-centric networking. State-of-theart data centers have different architectures like fat-tree [1...
László Gyarmati, Tuan Anh Trinh
CORR
2010
Springer
116views Education» more  CORR 2010»
15 years 4 months ago
Managing Delegation in Access Control Models
In the field of access control, delegation is an important aspect that is considered as a part of the administration mechanism. Thus, a complete access control must provide a flex...
Meriam Ben-Ghorbel-Talbi, Frédéric C...
193
Voted
DMTCS
2010
125views Mathematics» more  DMTCS 2010»
15 years 4 months ago
Binary Labelings for Plane Quadrangulations and their Relatives
Motivated by the bijection between Schnyder labelings of a plane triangulation and partitions of its inner edges into three trees, we look for binary labelings for quadrangulation...
Stefan Felsner, Clemens Huemer, Sarah Kappes, Davi...