2024 search results - page 259 / 405 » A Formal Model of Multi-agent Computations |
117
click to vote
BMCBI
2011
14 years 6 months ago
2011
Background: In rule-based modeling, graphs are used to represent molecules: a colored vertex represents a component of a molecule, a vertex attribute represents the internal state...
MEMOCODE
2005
IEEE
15 years 5 months ago
2005
IEEE
We describe race-free properties of a hardware description language called GEZEL. The language describes networks of cycle-true finite-state-machines with datapaths (FSMDs). We de...
100
click to vote
TACAS
2004
Springer
15 years 4 months ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
113
click to vote
SIGSOFT
2003
ACM
15 years 4 months ago
2003
ACM
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is ...
WEBI
2001
Springer
15 years 4 months ago
2001
Springer
In the proposed data model for XML databases, an XML element is directly represented as a ground (variable-free) XML expression—a generalization of an XML element by incorporatio...