ASWEC
2005
IEEE
14 years 1 months ago
2005
IEEE
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...
ASWEC
2005
IEEE
14 years 1 months ago
2005
IEEE
Message Sequence Charts (MSCs) are a graphical language for scenarios of communicating components exchanging messages in a distributed environment. The language has been standardi...
ASWEC
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper proposes an approach of defining systemslevel security properties of component-based composite systems. It argues that the security properties of a composite system ca...
ASWEC
2005
IEEE
14 years 1 months ago
2005
IEEE
machines have been used as an implementation mechanism for programming languages for more than thirty years. In their latest incarnation execution engines based on virtual machine...