Sciweavers

4166 search results - page 140 / 834
» A modular module system
Sort
View
FM
2009
Springer
190views Formal Methods» more  FM 2009»
14 years 4 months ago
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu
VTC
2006
IEEE
154views Communications» more  VTC 2006»
14 years 4 months ago
Adaptive Modulation and Coding for Bit Interleaved Coded Multiple Beamforming
— Bit interleaved coded multiple beamforming (BICMB) was previously designed to achieve full spatial multiplexing of min(N, M) and full spatial diversity of NM for N transmit and...
Ersin Sengul, Enis Akay, Ender Ayanoglu
BMCBI
2008
110views more  BMCBI 2008»
13 years 10 months ago
Finding microRNA regulatory modules in human genome using rule induction
Background: MicroRNAs (miRNAs) are a class of small non-coding RNA molecules (20
Dang Hung Tran, Kenji Satou, Tu Bao Ho
CORR
2008
Springer
106views Education» more  CORR 2008»
13 years 10 months ago
Modular difference logic is hard
In connection with machine arithmetic, we are interested in systems of constraints of the form x + k y + k . Over integers, the satisfiability problem for such systems is polynomi...
Nikolaj Bjørner, Andreas Blass, Yuri Gurevi...
SACMAT
2011
ACM
13 years 1 months ago
An approach to modular and testable security models of real-world health-care applications
t http://www.brucker.ch/bibliography/abstract/ brucker.ea-model-based-2011 by permission of ACM for your personal use. Not for redistribution. The definitive version was published...
Achim D. Brucker, Lukas Brügger, Paul Kearney...