Sciweavers

4890 search results - page 529 / 978
» From system specifications to component behavioral models
Sort
View
193
Voted
EMO
2005
Springer
108views Optimization» more  EMO 2005»
16 years 24 days ago
Multi-objective Model Optimization for Inferring Gene Regulatory Networks
With the invention of microarray technology, researchers are able to measure the expression levels of ten thousands of genes in parallel at various time points of a biological proc...
Christian Spieth, Felix Streichert, Nora Speer, An...
SEE
1997
Springer
15 years 11 months ago
An environment for object-oriented real-time systems design
A concise object-oriented method for the development of real-time systems has been composed. Hardware components are modelled by (sofnuare) base objects; base objects are controll...
Rob L. W. van de Weg, Rolf Engmann, Raoul van de H...
JOC
2010
123views more  JOC 2010»
15 years 2 months ago
Security Against Covert Adversaries: Efficient Protocols for Realistic Adversaries
Abstract. In the setting of secure multiparty computation, a set of mutually distrustful parties wish to securely compute some joint function of their private inputs. The computati...
Yonatan Aumann, Yehuda Lindell
IPPS
2007
IEEE
16 years 1 months ago
Improved Output Jitter Calculation for Compositional Performance Analysis of Distributed Systems
Compositional performance analysis iteratively alternates local scheduling analysis techniques and output event model propagation between system components to enable performance a...
Rafik Henia, Razvan Racu, Rolf Ernst
CAEPIA
2003
Springer
15 years 11 months ago
Embracing Causality in Inducing the Effects of Actions
Abstract. The following problem will be considered: from scattered examples on the behavior of a dynamic system induce a description of the system. For the induced description to b...
Ramón P. Otero