Sciweavers

175 search results - page 27 / 35
» Links in Hypermedia: The Requirement for Context
Sort
View
WSCG
2003
149views more  WSCG 2003»
14 years 11 months ago
Boolean Operations on Feature-based Models
Boolean operations and feature-based modeling are closely linked domains. For example, several, sometimes many Boolean operations are involved during a feature instantiation or mo...
Yvon Gardan, Christian Minich, Estelle Perrin
JSYML
2000
110views more  JSYML 2000»
14 years 9 months ago
Basic Logic: Reflection, Symmetry, Visibility
We introduce a sequent calculus B for a new logic, named basic logic. The aim of basic logic is to find a structure in the space of logics. Classical, intuitionistic, quantum and ...
Giovanni Sambin, Giulia Battilotti, Claudia Faggia...
INFOCOM
2010
IEEE
14 years 8 months ago
Tree-structured Data Regeneration in Distributed Storage Systems with Regenerating Codes
Abstract—Distributed storage systems provide large-scale reliable data storage by storing a certain degree of redundancy in a decentralized fashion on a group of storage nodes. T...
Jun Li, Shuang Yang, Xin Wang, Baochun Li
ICASSP
2011
IEEE
14 years 1 months ago
Stochastic resource allocation for cognitive radio networks based on imperfect state information
Efficient design of cognitive radio networks calls for secondary users implementing adaptive resource allocation, which requires knowledge of the channel state information in ord...
Antonio G. Marqués, Georgios B. Giannakis, ...
86
Voted
INFOCOM
2011
IEEE
14 years 1 months ago
Forwarding anomalies in Bloom filter-based multicast
Abstract—Several recently proposed multicast protocols use inpacket Bloom filters to encode multicast trees. These mechanisms are in principle highly scalable because no per-fl...
Mikko Särelä, Christian Esteve Rothenber...