3199 search results - page 518 / 640 » Variability in Automation System Models |
142
Voted
LICS
2005
IEEE
15 years 8 months ago
2005
IEEE
Games played on graphs may have qualitative objectives, such as the satisfaction of an ω-regular property, or quantitative objectives, such as the optimization of a realvalued re...
106
click to vote
LICS
2005
IEEE
15 years 8 months ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
105
Voted
LICS
2005
IEEE
15 years 8 months ago
2005
IEEE
Metric Temporal Logic (MTL) is a prominent specification formalism for real-time systems. In this paper, we show that the satisfiability problem for MTL over finite timed words...
122
click to vote
ICCBR
2005
Springer
15 years 8 months ago
2005
Springer
We focus on the problem of selecting the few vehicles in a fleet that are expected to last the longest without failure. The prediction of each vehicle’s remaining life is based o...
92
Voted
POLICY
2005
Springer
15 years 8 months ago
2005
Springer
We add a simple policy-based control component to mobile hosts that enables them to control the continuous reception of live multimedia content (e.g. a TV broadcast) while they sw...