TASE
2009
IEEE
14 years 6 months ago
2009
IEEE
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...
TASE
2009
IEEE
14 years 6 months ago
2009
IEEE
The complex interactions appearing in service-oriented computing make coordination a key concern in serviceoriented systems. In this paper, we present a fault-based method to gene...
TASE
2009
IEEE
14 years 6 months ago
2009
IEEE
Interrupts are important aspects of real-time embedded systems to handle events in time. When there exist nested interrupts in a real-time system, and an urgent interrupt is allow...
TASE
2009
IEEE
14 years 6 months ago
2009
IEEE
TASE
2009
IEEE
14 years 6 months ago
2009
IEEE
Retrenchment is a framework that allows relatively unrestricted system evolution steps to be described in a way that gives an evolution step some formal content — unlike model b...
TASE
2009
IEEE
14 years 6 months ago
2009
IEEE
We explore the interactions between programvariable state visibility and communication behaviour in state-rich CSP-like processes, using the Unifying Theories of Programming (UTP)...
TASE
2009
IEEE
14 years 6 months ago
2009
IEEE
TASE
2009
IEEE
14 years 6 months ago
2009
IEEE
In model-driven engineering, metamodels may get lost over time resulting in the inability to load and view existing model instances. MARS is a system that recovers metamodels from...
TASE
2009
IEEE
14 years 6 months ago
2009
IEEE
Testing is inherently incomplete; no test suite will ever be able to test all possible usage scenarios of a system. It is therefore vital to assess the implication of a system pas...
SEFM
2009
IEEE
14 years 6 months ago
2009
IEEE
Abstract—In order to increase their stealth, malware commonly use the self-modification property of programs. By doing so, programs can hide their real code so that it is diffi...