8555 search results - page 1436 / 1711 » Property Based Coordination |
214
click to vote
APAQS
2001
IEEE
15 years 10 months ago
2001
IEEE
With the increasing emphasis on dependability in complex, distributed systems, it is essential that system development can be done gradually and at different levels of detail. In ...
157
click to vote
CGI
2001
IEEE
15 years 10 months ago
2001
IEEE
The simulation of various natural phenomena is one of the important research fields in computer graphics. In particular, aspects such as sky, clouds, water, fire, trees, smoke, te...
177
Voted
CSFW
2000
IEEE
15 years 10 months ago
2000
IEEE
We propose an approach to support confidentiality for mobile implementations of security-sensitive protocols using Java/JVM. An applet which receives and passes on confidential in...
200
click to vote
ESORICS
2000
Springer
15 years 10 months ago
2000
Springer
Several authors have proposed using code modification as a technique for enforcing security policies such as resource limits, access controls, and network information flows. Howeve...
172
click to vote
HHCI
2000
15 years 10 months ago
2000
In this paper we discuss the design of computer-based haptic graphs for blind and visually impaired people with the support of our preliminary experimental results. Since visual i...