2024 search results - page 224 / 405 » A Formal Model of Multi-agent Computations |
146
click to vote
ISORC
2000
IEEE
15 years 8 months ago
2000
IEEE
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC synta...
129
click to vote
ISORC
1998
IEEE
15 years 8 months ago
1998
IEEE
Many modern chemical plants have to be modelled as complex hybrid systems consisting of various continuous and event-discrete components. Besides of the modular and easy-to-read s...
233
click to vote
CMSB
2011
Springer
14 years 4 months ago
2011
Springer
From the phosphorylation state of a molecule to the volume of a cell, parameters are ubiquitous in systems biology. At the same time, most models involve static or dynamic compart...
150
click to vote
DEBS
2007
ACM
15 years 8 months ago
2007
ACM
Content-based routing (CBR) provides the core distribution support of several middleware paradigms, most notably content-based publish-subscribe. Despite its popularity, however, ...
152
click to vote
CSCWD
2001
Springer
15 years 8 months ago
2001
Springer
The authors have developed a new approach to database interoperability using the sketch data model. That technique has now been used in a number of applications, but an important ...