5423 search results - page 855 / 1085 » Denial-of-service in automation systems |
187
click to vote
IEEECIT
2005
IEEE
16 years 7 days ago
2005
IEEE
In spite of many standards efforts, Web services with similar or compatible functionalities often have heterogeneous semantics. One reason is the disparate ontologies used for ser...
189
click to vote
ISMAR
2005
IEEE
16 years 7 days ago
2005
IEEE
We present a real-time system that can draw virtual patterns or images on deforming real objects by estimating both the deformations and the shading parameters. We show that this ...
207
click to vote
LICS
2005
IEEE
16 years 7 days 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...
173
click to vote
LICS
2005
IEEE
16 years 7 days 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...
160
click to vote
LICS
2005
IEEE
16 years 7 days 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...