1992 search results - page 162 / 399 » Model Based Testing with Labelled Transition Systems |
230
click to vote
ICIP
2010
IEEE
16 years 28 days ago
2010
IEEE
In this paper is presented an effective and efficient method for content-aware image resizing. It is based on the solution of a linear system where each pixel displacement (compres...
158
click to vote
FAC
2008
15 years 6 months ago
2008
We extend the approach of model checking parameterized networks of processes by means of network invariants to the setting of real-time systems. We introduce timed transition stru...
188
click to vote
CDC
2008
IEEE
16 years 28 days ago
2008
IEEE
Abstract— In this paper the robust behavior in some piecewise affine systems with minimally spaced transition times is studied. Such systems are found e.g. in satellites and sat...
170
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Many application domains require adaptive realtime embedded systems that can change their functionality over time. In such systems it is not only necessary to guarantee ...
169
click to vote
EDCC
2005
Springer
15 years 12 months ago
2005
Springer
Unreliable failure detectors are a well known means to enrich asynchronous distributed systems with time-free semantics that allow to solve consensus in the presence of crash failu...