247 search results - page 5 / 50 » A Dynamic Operational Semantics for JVML |
97
Voted
BIRTHDAY
2008
Springer
14 years 10 months ago
2008
Springer
Abstract. We develop an abstract operational model for configuration management under service-oriented computing. This semantics is based on a graph-based representation of the con...
ESOP
2007
Springer
15 years 3 months ago
2007
Springer
We present a modular static analysis which identifies structural (shape) invariants for a subset of heap-manipulating programs. The subset is defined by means of a non-standard ...
CORR
2006
Springer
14 years 9 months ago
2006
Springer
We present an epistemic logic incorporating dynamic operators to describe information changing events. Such events include epistemic changes, where agents become more informed abo...
66
Voted
IJSN
2008
14 years 9 months ago
2008
: Malicious network traffic, including widespread worm activity, is a growing threat to Internet-connected networks and hosts. In this paper, we consider two competing approaches t...
65
Voted
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...