2838 search results - page 487 / 568 » Verifying Controlled Components |
ACSAC
2000
IEEE
14 years 1 months ago
2000
IEEE
In this paper we describe a new class of tools for protecting computer systems from security attacks. Their distinguished feature is the principle they are based on. Host or netwo...
ICPR
2000
IEEE
14 years 1 months ago
2000
IEEE
A collection of distributed databases forms an important architectural component of the ATON project for networked incidence management of highway traffic. The database sub-archit...
ICSM
2000
IEEE
14 years 1 months ago
2000
IEEE
Software has for a long time been used for controlling different systems. Today, there is a trend towards integrating software into consumer electronics, home appliances, cars etc...
ISORC
2000
IEEE
14 years 1 months ago
2000
IEEE
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC synta...
SIGGRAPH
2000
ACM
14 years 1 months ago
2000
ACM
We present new techniques for interactive cinematic lighting design of complex scenes that use procedural shaders. Deep-framebuffers are used to store the geometric and optical in...