Sciweavers

2409 search results - page 278 / 482
» Logical systems for structured specifications
Sort
View
TIT
2010
105views Education» more  TIT 2010»
14 years 11 months ago
DMT optimality of LR-aided linear decoders for a general class of channels, lattice designs, and system models
The work identifies the first general, explicit, and non-random MIMO encoder-decoder structures that guarantee optimality with respect to the diversity-multiplexing tradeoff (DMT),...
Joakim Jalden, Petros Elia
WWW
2002
ACM
16 years 5 months ago
Model checking cobweb protocols for verification of HTML frames behavior
HTML documents composed of frames can be difficult to write correctly. We demonstrate a technique that can be used by authors manually creating HTML documents (or by document edit...
P. David Stotts, Jaime Navon
WEBNET
2000
15 years 5 months ago
Making General-Purpose Adaptive Hypermedia Work
: Adaptive hypermedia systems (AHS) have typically been geared towards one specific application or application area, in most cases related to education. The AHA (Adaptive Hypermedi...
Paul De Bra, A. T. M. Aerts, Geert-Jan Houben, Hon...
OPODIS
2004
15 years 5 months ago
Embedded Systems - Challenges and Work Directions
Embedded Systems are components integrating software and hardware jointly and specifically designed to provide given functionalities. These components may be used in many different...
Joseph Sifakis
CBMS
2004
IEEE
15 years 8 months ago
Toward a Systems Biology Software Toolkit
Insight to complex problems may be revealed when domain data sets are viewed or structured in new and innovative ways. Systems approaches to biomedical problems fundamentally invo...
Donald J. Johann, Michael D. McGuigan, Stanimire T...