2024 search results - page 212 / 405 » A Formal Model of Multi-agent Computations |
137
click to vote
ACSD
2003
IEEE
15 years 9 months ago
2003
IEEE
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...
140
click to vote
CODES
1999
IEEE
15 years 8 months ago
1999
IEEE
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...
152
click to vote
IJAR
2010
15 years 2 months ago
2010
We explore generalizations of the pari-mutuel model (PMM), a formalization of an intuitive way of assessing an upper probability from a precise one. We discuss a naive extension o...
125
click to vote
TIT
2010
14 years 11 months ago
2010
Abstract--Glass models are frequently used to model gene regulatory networks. A distinct feature of the Glass model is that its dynamics can be formalized as paths through multi-di...
174
click to vote
VLSID
2004
IEEE
16 years 4 months ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...