Sciweavers

677 search results - page 84 / 136
» Rigorous Object-Oriented Analysis
Sort
View
146
Voted
COCOON
2010
Springer
14 years 11 months ago
On Sorting Permutations by Double-Cut-and-Joins
The problem of sorting permutations by double-cut-and-joins (SBD) arises when we perform the double-cut-and-join (DCJ) operations on pairs of unichromosomal genomes without the gen...
Xin Chen
ASWEC
2009
IEEE
14 years 10 months ago
From Requirements to Embedded Software - Formalising the Key Steps
Failure of a design to satisfy a system's requirements can result in schedule and cost overruns. When using current approaches, ensuring requirements are satisfied is often d...
Toby Myers, R. Geoff Dromey
CORR
2010
Springer
103views Education» more  CORR 2010»
14 years 10 months ago
On the Queueing Behavior of Random Codes over a Gilbert-Elliot Erasure Channel
This paper considers the queueing performance of a system that transmits coded data over a time-varying erasure channel. In our model, the queue length and channel state together f...
Parimal Parag, Jean-François Chamberland, H...
93
Voted
LLC
2011
167views more  LLC 2011»
14 years 7 months ago
Computational Phonology - Part II: Grammars, Learning, and the Future
Computational phonology studies sound patterns in the world’s languages from a computational perspective. This article shows that the similarities between different generative t...
Jeffrey Heinz
MMAS
2010
Springer
14 years 7 months ago
Gyrokinetic Vlasov Equation in Three Dimensional Setting. Second Order Approximation
One of the main applications in plasma physics concerns the energy production through thermo-nuclear fusion. The controlled fusion requires the confinement of the plasma into a bo...
Mihai Bostan