503 search results - page 80 / 101 » Real-time Property Preservation in Approximations of Timed S... |
172
click to vote
RTAS
2003
IEEE
15 years 12 months ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
234
click to vote
ISCAS
2008
IEEE
16 years 1 months ago
2008
IEEE
— From copyright protection to error concealment, video data hiding has found usage in a great number of applications. Recently proposed applications such as privacy data preserv...
223
click to vote
MMAS
2011
Springer
15 years 1 months ago
2011
Springer
While existing mathematical descriptions can accurately account for phenomena at microscopic scales (e.g. molecular dynamics), these are often high-dimensional, stochastic and thei...
180
click to vote
APLAS
2005
ACM
16 years 8 days ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
167
click to vote
HYBRID
2007
Springer
16 years 26 days ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...