2142 search results - page 65 / 429 » Representing Time in Multimedia Systems |
148
click to vote
ACSD
2009
IEEE
15 years 9 months ago
2009
IEEE
A number of algorithms are available for computing the simulation relation on Kripke structures and on labelled transition systems representing concurrent systems. Among them, the...
180
click to vote
IJNSEC
2008
15 years 5 months ago
2008
Proxies are commonly used to cache objects, especially multimedia objects, so that clients can enjoy better quality-of-service (QoS) guarantees such as smaller startup latency and...
147
click to vote
ICONS
2009
IEEE
16 years 5 days ago
2009
IEEE
The power saving is one of the important issue in the embedded systems. To reduce the consumption of the microprocessor of such a system, a way is to power down it when it is inac...
121
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
We consider a plant the dynamics of which switch among a family of systems. Each of these systems has a single stable equilibrium point. We assume that a constraint region for the...
135
click to vote
SCS
2004
15 years 6 months ago
2004
Complex reactive real time systems are systems of systems that interact with the external world to perform selections of tasks in real time. They may be required to carry out sele...