434 search results - page 16 / 87 » Structural Operational Semantics for Weighted Transition Sys... |
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. This paper introduces semantical concepts to support a formal structural dynamics of situated multiagent systems. Multiagent systems are seen from the perspective of the ...
WSFM
2007
Springer
15 years 3 months ago
2007
Springer
Developing wide-area distributed applications requires jointly analyzing functional and Quality of Service (QoS) aspects, such as timing properties. Labelled transition systems and...
TAPSOFT
1997
Springer
15 years 1 months ago
1997
Springer
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...
ICDCS
2000
IEEE
15 years 2 months ago
2000
IEEE
Group communication, providing virtual synchrony semantics, is a powerful paradigm for building distributed applications. For applications that require a large number of groups, s...
UML
2000
Springer
15 years 1 months ago
2000
Springer
In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static met...