Sciweavers

8492 search results - page 160 / 1699
» Modelling and Design of Multi-Agent Systems
Sort
View
ESAW
2003
Springer
15 years 9 months ago
A Design Complexity Evaluation Framework for Agent-Based System Engineering Methodologies
Abstract. Complexity in software design refers to the difficulty in understanding and manipulating the set of concepts, models and techniques involved in the design process. Agents...
Anthony Karageorgos, Nikolay Mehandjiev
COMPSAC
2004
IEEE
15 years 7 months ago
Modular Design of Reactive Systems
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
Cristina Cerschi Seceleanu, Tiberiu Seceleanu
126
Voted
ETS
2010
IEEE
140views Hardware» more  ETS 2010»
15 years 5 months ago
Increasing reliability of programmable mixed-signal systems by applying design diversity redundancy
This paper explores the concept of design diversity redundancy applied to mixed-signal (MS) circuit blocks, as a proposal to increase system reliability. Three different implement...
Gabriel de M. Borges, Luiz F. Gonçalves, Ti...
161
Voted
ANSS
2007
IEEE
15 years 10 months ago
Evaluating the Design of Biological Cells Using a Computer Workbench
For embedded systems as well as for biological cell systems, design is a feature that defines their identity. The assembly of different components in designs of both systems can ...
Tessa E. Pronk, Simon Polstra, Andy D. Pimentel, T...
FMSB
2008
130views Formal Methods» more  FMSB 2008»
15 years 5 months ago
Design Issues for Qualitative Modelling of Biological Cells with Petri Nets
Petri nets are a widely used formalism to qualitatively model concurrent systems such as a biological cell. We present techniques for modelling biological processes as Petri nets f...
Elzbieta Krepska, Nicola Bonzanni, K. Anton Feenst...