2917 search results - page 258 / 584 » Satisfying Interaction Constraints |
139
click to vote
WABI
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. The topology of β-sheets is defined by the pattern of hydrogenbonded strand pairing. Therefore, predicting hydrogen bonded strand partners is a fundamental step towards...
169
click to vote
DATE
2006
IEEE
16 years 24 days ago
2006
IEEE
This paper addresses the allocation of link capacities in the automated design process of a network-on-chip based system. Communication resource costs are minimized under Quality-...
184
Voted
DELTA
2006
IEEE
16 years 23 days ago
2006
IEEE
We present an approach to the synthesis of fault-tolerant hard real-time systems for safety-critical applications. We use checkpointing with rollback recovery and active replicati...
189
click to vote
ECBS
2006
IEEE
16 years 23 days ago
2006
IEEE
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
171
click to vote
ETFA
2006
IEEE
16 years 23 days ago
2006
IEEE
In this paper, the effect of network-induced delay introduced into the control loop is modelled as time-varying disturbance. Based on this model, a fault isolation filter (FIF) f...