1580 search results - page 198 / 316 » Non-Interference Through Determinism |
DFT
1997
IEEE
14 years 2 months ago
1997
IEEE
Abstract— Error control is a major concern in many computer systems, particularly those deployed in critical applications. Experience shows that most malfunctions during system o...
TAGT
1998
Springer
14 years 2 months ago
1998
Springer
Reactive systems perform their tasks through interaction with their users or with other systems (as parts of a bigger system). An essential requirement for modeling such systems is...
VISUALIZATION
1997
IEEE
14 years 2 months ago
1997
IEEE
The task of reconstructing the derivative of a discrete function is essential for its shading and rendering as well as being widely used in image processing and analysis. We surve...
IUI
1997
ACM
14 years 2 months ago
1997
ACM
Intelligent user interfaces are characterised by their capability to adapt at run-time and make several communication decisions concerning ‘what’, ‘when’, ‘why’ and â€...
SIGMOD
1997
ACM
14 years 2 months ago
1997
ACM
Infomaster is an information integration system that provides integrated access tomultiple distributed heterogeneous information sources on the Internet, thus giving the illusion ...