2024 search results - page 239 / 405 » A Formal Model of Multi-agent Computations |
185
click to vote
CMSB
2007
Springer
15 years 11 months ago
2007
Springer
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms. Each per...
146
Voted
ICCS
1997
Springer
15 years 9 months ago
1997
Springer
: The need for analysis and modeling of knowledge has been espoused by many researchers as a prerequisite to building knowledge based systems (KBS). This approach has done little t...
186
click to vote
RTSS
2005
IEEE
15 years 11 months ago
2005
IEEE
Recently there has been a growing interest in models and methods targeted towards the (co)design of stream processing applications; e.g. those for audio/video processing. Streams ...
183
click to vote
BMCBI
2007
15 years 5 months ago
2007
Background: Biomolecular networks dynamically respond to stimuli and implement cellular function. Understanding these dynamic changes is the key challenge for cell biologists. As ...
151
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...