Sciweavers

50 search results - page 2 / 10
» Data Groups: Specifying the Modification of Extended State
Sort
View
DSN
2003
IEEE
13 years 10 months ago
From Crash Tolerance to Authenticated Byzantine Tolerance: A Structured Approach, the Cost and Benefits
Many fault-tolerant group communication middleware systems have been implemented assuming crash failure semantics. While this assumption is not unreasonable, it becomes hard to ju...
Dimane Mpoeleng, Paul D. Ezhilchelvan, Neil A. Spe...
CASCON
2006
98views Education» more  CASCON 2006»
13 years 6 months ago
A lightweight approach to state based security testing
State based protocols are protocols in which the handling of one message depends on the contents of previous messages. Testing such protocols, for security or for other purposes u...
Songtao Zhang, Thomas R. Dean, Scott Knight
BMCBI
2005
97views more  BMCBI 2005»
13 years 5 months ago
Phylogenetic reconstruction of ancestral character states for gene expression and mRNA splicing data
Background: As genomes evolve after speciation, gene content, coding sequence, gene expression, and splicing all diverge with time from ancestors with close relatives. A minimum e...
Roald Rossnes, Ingvar Eidhammer, David A. Liberles
CMSB
2004
Springer
13 years 10 months ago
Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...
Jasmin Fisher, David Harel, E. Jane Albert Hubbard...
BROADNETS
2004
IEEE
13 years 9 months ago
The Effects of the Sub-Carrier Grouping on Multi-Carrier Channel Aware Scheduling
Channel-aware scheduling and link adaptation (LA) methods are widely considered to be crucial for realizing high data rates in wireless networks. Multi-carrier systems that spread...
Fanchun Jin, Gokhan Sahin, Amrinder Arora, Hyeong-...