1676 search results - page 72 / 336 » Formal Development of Self-organising Systems |
EACL
1989
ACL Anthology
14 years 11 months ago
1989
ACL Anthology
Although the formalisms normally used for describing the semantics of natural languages are far from computationally tractable, it is possible to isolate particular semantic pheno...
NAR
2006
14 years 9 months ago
2006
The increasing amount of genomic and molecular information is the basis for understanding higherorder biological systems, such as the cell and the 15 organism, and their interacti...
109
click to vote
CADE
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms. Moreover...
ANSS
2002
IEEE
15 years 2 months ago
2002
IEEE
Cell-DEVS is an extension to the DEVS formalism that allows the definition of cellular models. Complex physical systems can be defined using simple rules, reducing the development...
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
The paper presents Save-IDE, an Integrated Development Environment for the development of component-based embedded systems. Save-IDE supports efficient development of dependable ...