373 search results - page 15 / 75 » Synthesis of Trigger Properties |
121
click to vote
FORMATS
2009
Springer
15 years 10 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...
120
click to vote
FDL
2005
IEEE
15 years 9 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...
131
click to vote
FM
1999
Springer
15 years 8 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...
137
click to vote
ICMCS
2007
IEEE
15 years 10 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
15 years 10 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...