2024 search results - page 90 / 405 » A Formal Model of Multi-agent Computations |
150
click to vote
CMSB
2004
Springer
15 years 9 months ago
2004
Springer
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...
123
Voted
SKG
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper, we proposed the learning resource ontology(LRO) models to formally describe learning content and learning context, respectively. In addition to utilizing the models...
119
click to vote
TPHOL
2005
IEEE
15 years 9 months ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
114
click to vote
DSN
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper proposes a formally well-rooted and extensible framework for dependability evaluation: Arcade (architectural dependability evaluation). It has been designed to combine ...
112
click to vote
SAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Programming language technology can contribute to the development and understanding of Systems Biology by providing formal calculi for specifying and analysing the dynami...