3544 search results - page 615 / 709 » Information Security in Open Systems |
82
Voted
NPAR
2010
ACM
15 years 4 months ago
2010
ACM
Recent works in image editing are opening up new possibilities to manipulate and enhance input images. Within this context, we leverage well-known characteristics of human percept...
PCI
2001
Springer
15 years 3 months ago
2001
Springer
One of the most rapidly evolving e-services is e-Learning, that is, the creation of advanced educational resources that are accessible on-line and, potentially, offer numerous adva...
PLDI
2000
ACM
15 years 3 months ago
2000
ACM
We show how to determine statically whether it is safe for untrusted machine code to be loaded into a trusted host system. Our safety-checking technique operates directly on the u...
SAC
1998
ACM
15 years 3 months ago
1998
ACM
This paper describes a hypermedia infrastructure, called HyperDisco, designed to address important issues such as integration, collaboration, versioning, scalability, openness, di...
ASM
2010
ASM
15 years 2 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...