4959 search results - page 466 / 992 » Evolution maps and applications |
187
click to vote
HYBRID
2003
Springer
16 years 11 days ago
2003
Springer
This paper extends the application of the Cantor metric as a mathematical tool for defining causalities from pure discrete models to mixed-signal and hybrid models. Using the Cant...
170
click to vote
COMPSAC
2002
IEEE
16 years 4 days ago
2002
IEEE
The paper aims at presenting a method of controlling software quality attributes driven by the set of requirements. This is done in three steps: specifying all the requirements, ma...
211
click to vote
CDC
2009
IEEE
15 years 12 months ago
2009
IEEE
— In this paper, the safety control problem for a class of hybrid systems with disturbance inputs and imperfect continuous state information is considered. Under the assumption t...
190
click to vote
ASP
2001
Springer
15 years 11 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. This is an extension of earlier w...
205
click to vote
DAC
2000
ACM
15 years 11 months ago
2000
ACM
In many modern designs, timing is either a key optimization goal and/or a mandatory constraint. We propose the first intellectual property protection technique using watermarking ...