10159 search results - page 619 / 2032 » System Design Validation Using Formal Models |
223
click to vote
JUCS
2008
15 years 7 months ago
2008
: So far, the Ambient Intelligence (AmI) paradigm has been applied to the development of a great variety of real systems. They use advanced technologies such as ubiquitous computin...
210
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: The analysis of biochemical networks using a logical (Boolean) description is an important approach in Systems Biology. Recently, new methods have been proposed to ana...
160
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: The aim of protein design is to predict amino-acid sequences compatible with a given target structure. Traditionally envisioned as a purely thermodynamic question, thi...
192
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—In recent years there have been several large-scale deployments of P2P live video systems. Existing and future P2P live video systems will offer a large number of channels, with...
202
click to vote
DAC
2008
ACM
16 years 8 months ago
2008
ACM
Achieving high performance under a peak temperature limit is a first-order concern for VLSI designers. This paper presents a new model of a thermally-managed system, where a stoch...