3729 search results - page 476 / 746 » On Formal Modeling of Agent Computations |
188
click to vote
IJAR
2010
15 years 5 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...
169
click to vote
TIT
2010
15 years 1 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...
175
click to vote
SFM
2007
Springer
16 years 24 days ago
2007
Springer
Stochastic performance models provide a powerful way of capturing and analysing the behaviour of complex concurrent systems. Traditionally, performance measures for these models ar...
217
click to vote
VLSID
2004
IEEE
16 years 7 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 (...
177
click to vote
CSCWD
2009
Springer
16 years 1 months ago
2009
Springer
This work presents a methodology to formally model and to build collaborative three dimensional interaction tasks in virtual environments using three different tools: Petri Nets, ...