2024 search results - page 112 / 405 » A Formal Model of Multi-agent Computations |
147
Voted
CACM
2006
15 years 4 months ago
2006
: Computer scientists work with formal models of algorithms and computation, and someday service scientists may work with formal models of service systems, which we define as value...
143
click to vote
CMSB
2006
Springer
15 years 7 months ago
2006
Springer
Genetic regulatory networks have been modeled as discrete transition systems by many approaches, benefiting from a large number of formal verification algorithms available for the ...
169
click to vote
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
137
click to vote
GAMESEC
2010
15 years 2 months ago
2010
Abstract. Even the most well-motivated models of information security have application limitations due to the inherent uncertainties involving risk. This paper exemplifies a formal...
121
click to vote
ECBS
2006
IEEE
15 years 10 months ago
2006
IEEE
The Adviser Portal (AP) is a new IT system for 15 Danish banks. The main goal of AP is to increase the efficiency and quality of bank advisers’ work. Requirements engineering fo...