2106 search results - page 91 / 422 » Operational Semantics for MSC'96 |
AOSE
2004
Springer
15 years 3 months ago
2004
Springer
In the paper we study the dynamics of roles played by agents in multiagent systems. We capture role dynamics in terms of four operation performed by agents: ‘enactment’, ‘dea...
FOSSACS
2004
Springer
15 years 3 months ago
2004
Springer
We introduce a computational interpretation for Hilbert’s choice operator (ε). This interpretation yields a typed foundation for dynamic linking in software systems. The use of ...
ECSQARU
2003
Springer
15 years 3 months ago
2003
Springer
In this paper, we propose some extensions of epistemic logic for reasoning about information fusion. The fusion operators considered in this paper include majority merging, arbitra...
ICFP
2003
ACM
15 years 9 months ago
2003
ACM
This paper define the semantics of MinAML, an idealized aspect-oriented programming language, by giving a typedirected translation from its user-friendly external language to its ...
SCCC
1997
IEEE
15 years 2 months ago
1997
IEEE
Processing on the Amoeba distributed operating system is not fault-tolerant. The only concern of its processing service is to perform load balancing on the existing processors, tr...