354 search results - page 24 / 71 » Constraints of Behavioural Inheritance |
FORMATS
2006
Springer
15 years 3 months ago
2006
Springer
Networks of communicating finite-state machines equipped with local clocks generate timed MSCs. We consider the problem of checking whether these timed MSCs are "consistent&qu...
120
click to vote
AMAST
2000
Springer
15 years 4 months ago
2000
Springer
Modelling multi-tasking behaviour is an important phase of real-time system design. It is shown how task scheduling principles can be captured in a CCS-based process algebra via ex...
ESOP
1999
Springer
15 years 4 months ago
1999
Springer
Expressions in the programming language C have such an under-specified semantics that one might expect them to be non-deterministic. However, with the help of a mechanised formali...
ICIP
2006
IEEE
16 years 1 months ago
2006
IEEE
We introduce an optimum watermark embedding technique that satisfies common watermarking requirements such as visual fidelity, sufficient embedding rate, robustness against noise ...
EDOC
2004
IEEE
15 years 3 months ago
2004
IEEE
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...