2685 search results - page 402 / 537 » A Formal Semantics for SPKI |
145
click to vote
ATAL
2007
Springer
16 years 16 days ago
2007
Springer
This paper proposes programming constructs to improve the practical application of existing BDI-based agent-oriented programming languages that have formal semantics. The proposed...
158
click to vote
ATVA
2007
Springer
16 years 16 days ago
2007
Springer
Message Sequence Charts (MSCs) and High-level Message Sequence Charts (HMSCs) are formalisms used to describe scenarios of message passing protocols. We propose using Allen’s log...
160
click to vote
CAV
2007
Springer
16 years 16 days ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
179
click to vote
COORDINATION
2007
Springer
16 years 16 days ago
2007
Springer
We present a generalized committed choice construct for concurrent programs that interact with a shared store. The generalized committed choice (GCC) allows multiple computations ...
160
click to vote
ECOOP
2007
Springer
16 years 16 days ago
2007
Springer
Like other software artefacts, metamodels evolve over time. We propose a transformational approach to assist metamodel evolution by stepwise adaptation. In the first part of the p...