8555 search results - page 141 / 1711 » Property Based Coordination |
ICCS
2009
Springer
14 years 4 months ago
2009
Springer
This paper introduces a three and a four order explicit time stepping method. These methods have high stage order and favorable monotonicity properties. The proposed methods are ba...
ATVA
2006
Springer
14 years 1 months ago
2006
Springer
In the past decades, many formal frameworks (e.g. timed automata and temporal logics) and techniques (e.g. model checking and theorem proving) have been proposed to model a real-ti...
ASWEC
2006
IEEE
14 years 4 months ago
2006
IEEE
The paper proposes an assessment scheme for the security properties of software components. The proposed scheme consists of three stages: (i) a system-specific security requireme...
RTCSA
2006
IEEE
14 years 4 months ago
2006
IEEE
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...
SAC
2006
ACM
14 years 4 months ago
2006
ACM
Most previous work on information flow in process algebras has been based on untimed models of concurrency. It is obvious, however, that an observer might well use time to gain i...