7720 search results - page 1133 / 1544 » A Model for Interface Groups |
147
click to vote
FC
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The security of any computer system that is configured or operated by human beings critically depends on the information conveyed by the user interface, the decisions of...
156
click to vote
ICCS
2004
Springer
16 years 5 days ago
2004
Springer
We have studied two approaches to the modeling of bubbly and cavitating fluids. The first approach is based on the direct numerical simulation of gas bubbles using the interface ...
158
click to vote
TACAS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
161
click to vote
SAC
2010
ACM
16 years 3 days ago
2010
ACM
In this paper, we show how to deform a planar rational cubic based on a local interpolation constraint while retaining the qualitative shape of the curve. An impedance-type, paral...
164
click to vote
CLUSTER
2003
IEEE
16 years 3 days ago
2003
IEEE
This paper presents a comparative study of the communication middleware systems suitable for aggregating computational clusters with heterogeneous incompatible SANs into a common ...