2024 search results - page 46 / 405 » A Formal Model of Multi-agent Computations |
72
Voted
ISMB
1993
15 years 12 days ago
1993
In the field of biotechnologyand medicineit is of interest to modeland simulate metabolicprocesses. The usual methods to model metabolic pathwaysare chemicaldescriptions anddiffer...
118
click to vote
ICCS
2007
Springer
15 years 26 days ago
2007
Springer
Abstract. This work takes place in the general context of the construction and validation of a domain expertise. It aims at the cooperation of two kinds of knowledge, heterogeneous...
122
click to vote
IWFM
2003
15 years 13 days ago
2003
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
VSTTE
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....
107
click to vote
DAC
1996
ACM
15 years 3 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...