Sciweavers

1743 search results - page 262 / 349
» Generalized Modal Satisfiability
Sort
View
CORR
2007
Springer
76views Education» more  CORR 2007»
15 years 2 months ago
Tripartitions do not always discriminate phylogenetic networks
Phylogenetic networks are a generalization of phylogenetic trees that allow for the representation of non-treelike evolutionary events, like recombination, hybridization, or later...
Gabriel Cardona, Francesc Rosselló, Gabriel...
JMM2
2008
102views more  JMM2 2008»
15 years 2 months ago
Logical Mapping: An Intermedia Synchronization Model for Multimedia Distributed Systems
The preservation of temporal dependencies among different media data, such as text, still images, video and audio, and which have simultaneous distributed sources as origin, is an ...
Saul Pomares Hernandez, Luis A. Morales Rosales, J...
JALC
2006
125views more  JALC 2006»
15 years 2 months ago
A Confinement Criterion for Securely Executing Mobile Code
Mobile programs, like applets, are not only ubiquitous, but also potentially malicious. We study the case where mobile programs are executed by a host system in a secured environm...
Hervé Grall
JCP
2006
83views more  JCP 2006»
15 years 2 months ago
Concurrent Failures and Redundant Protection Problem in Hierarchical GMPLS Networks
The generalized multiprotocol label switching (GMPLS) networks attain a hierarchical structure, and each layer maintains an independent protection mechanism, resulting in redundant...
Sung-eok Jeon
JCT
2006
75views more  JCT 2006»
15 years 2 months ago
New polytopes from products
We construct a new 2-parameter family Emn, m, n 3, of self-dual 2-simple and 2-simplicial 4-polytopes, with flexible geometric realisations. E44 is the 24-cell. For large m, n the...
Andreas Paffenholz