27756 search results - page 537 / 5552 » Process Query Systems |
146
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
We introduce a generic type system (based on Milner's sort system) for the synchronous polyadic -calculus, allowing us to mechanise the analysis of input/output capabilities o...
159
click to vote
CCE
2005
15 years 6 months ago
2005
To date, sensitivity, bifurcation and singularity analysis have been employed to identify and characterize the qualitative nonlinear behaviour of chemical process systems. The phe...
150
click to vote
IPPS
1996
IEEE
15 years 10 months ago
1996
IEEE
The multipass-rendering method integrating radiosity with ray-tracing gives one of the best solutions for synthesizing photo-realistic images. However, the method is also computat...
193
click to vote
SRDS
1997
IEEE
15 years 10 months ago
1997
IEEE
Transaction processing systems are judged by users to be correctly functioning not only if their transactions are executed correctly, but also if most of them are completed within...
169
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
To protect process control networks from cyber intrusions, preventive security measures such as perimeter defenses (for example, network firewalls and demilitarized zones) and se...