Sciweavers

161 search results - page 6 / 33
» Design and Mathematical Analysis of Agent-Based Systems
Sort
View
JUCS
2002
113views more  JUCS 2002»
15 years 1 days ago
The Origins and the Development of the ASM Method for High Level System Design and Analysis
: The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the pe...
Egon Börger
96
Voted
BMCBI
2010
156views more  BMCBI 2010»
15 years 15 days ago
Mathematical model for empirically optimizing large scale production of soluble protein domains
Background: Efficient dissection of large proteins into their structural domains is critical for high throughput proteome analysis. So far, no study has focused on mathematically ...
Eisuke Chikayama, Atsushi Kurotani, Takanori Tanak...
CDC
2008
IEEE
15 years 6 months ago
Retroactivity attenuation in transcriptional networks: Design and analysis of an insulation device
— Retroactivity is a parasitic phenomenon that changes the desired input/output response of a system when it is connected to “downstream” systems. Downstream and upstream ref...
Domitilla Del Vecchio, Shridhar Jayanthi
ECMDAFA
2009
Springer
170views Hardware» more  ECMDAFA 2009»
15 years 7 months ago
A Model Driven Approach to the Analysis of Timeliness Properties
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Ana...
79
Voted
CCE
2010
14 years 9 months ago
Optimizing the design of complex energy conversion systems by Branch and Cut
The paper examines the applicability of mathematical programming methods to the simultaneous optimization of the structure and the operational parameters of a combined-cycle-based...
Turang Ahadi-Oskui, Stefan Vigerske, Ivo Nowak, Ge...