4126 search results - page 98 / 826 » Relationships with other Formalisms |
167
click to vote
DNA
2009
Springer
16 years 26 days ago
2009
Springer
We present a process algebra for DNA computing, discussing compilation of other formal systems into the algebra, and compilation of the algebra into DNA structures.
185
click to vote
JLP
2006
15 years 6 months ago
2006
One of the goals of software engineering is to provide what is necessary to write relevant, legible, useful descriptions of the systems to be developed, which will be the basis of...
153
click to vote
ECBS
2006
IEEE
16 years 11 days ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
181
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...
148
click to vote
JAPLL
2010
15 years 4 months ago
2010
In this paper, several examples from the literature, and one central new one, are used as case studies of texts of discourse containing an argumentation scheme that has now been w...