2024 search results - page 224 / 405 » A Formal Model of Multi-agent Computations |
177
click to vote
ISORC
2000
IEEE
15 years 10 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...
156
click to vote
ISORC
1998
IEEE
15 years 10 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...
291
click to vote
CMSB
2011
Springer
14 years 6 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...
184
click to vote
DEBS
2007
ACM
15 years 10 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, ...
181
click to vote
CSCWD
2001
Springer
15 years 11 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 ...