4360 search results - page 384 / 872 » Socio-technical systems: From design methods to systems engi... |
202
click to vote
HASE
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
189
click to vote
MMAS
2010
Springer
15 years 1 months ago
2010
Springer
We present a formal procedure for structure-preserving model reduction of linear second-order and Hamiltonian control problems that appear in a variety of physical contexts, e.g., ...
180
click to vote
MEMOCODE
2007
IEEE
16 years 1 months ago
2007
IEEE
Orthogonal Frequency-Division Multiplexing (OFDM) has become the preferred modulation scheme for both broadband and high bitrate digital wireless protocols because of its spectral...
150
click to vote
AHS
2007
IEEE
16 years 1 months ago
2007
IEEE
Biological systems have inherent mechanisms which ensure their adaptation and thus survival — preservation of functionality, despite extreme and varying environments. One such e...
188
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: The large gap between the number of protein sequences in databases and the number of functionally characterized proteins calls for the development of a fast computatio...