1922 search results - page 81 / 385 » Systems biology, models, and concurrency |
103
click to vote
IJCAI
1997
15 years 3 months ago
1997
While the Belief, Desire, Intention (BDI) framework is one of the most influential and appealing approaches to rational agent architectures, a gulf often exists between the high-l...
132
click to vote
JUCS
2008
15 years 1 months ago
2008
: Multi-Agent Systems (MAS) constitute a well known approach in modelling dynamical real world systems. Recently, this technology has been applied to Wireless Communication Systems...
142
click to vote
LCTRTS
2010
Springer
14 years 11 months ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...
100
click to vote
TACAS
2007
Springer
15 years 7 months ago
2007
Springer
Analysis of biological data often requires an understanding of components of pathways and/or networks and their mutual dependency relationships. Such systems are often analyzed and...
126
click to vote
CAV
2008
Springer
15 years 3 months ago
2008
Springer
This paper addresses the analysis of concurrent programs with shared memory. Such an analysis is undecidable in the presence of multiple procedures. One approach used in recent wor...