373 search results - page 15 / 75 » Synthesis of Trigger Properties |
FORMATS
2009
Springer
14 years 2 months ago
2009
Springer
In this paper, we focus on the synthesis of secure timed systems which are given by timed automata. The security property that the system must satisfy is a non-interference propert...
FDL
2005
IEEE
14 years 1 months ago
2005
IEEE
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...
FM
1999
Springer
13 years 12 months ago
1999
Springer
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
ICMCS
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper describes a novel method to simulate an multichannel audio experience using stereo headphones. In contrast to conventional, convolution-based methods, the current appro...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
In recent years, Assertion-Based Verification is being widely accepted as a key technology in the pre-silicon validation of system-on-chip(SOC) designs. The System Verilog langua...