1866 search results - page 347 / 374 » Dynamic instantiation-checking components |
COMPSEC
2006
14 years 11 months ago
2006
With the growing use of wireless networks and mobile devices, we are moving towards an era where location information will be necessary for access control. The use of location inf...
ENTCS
2006
14 years 11 months ago
2006
In recent years, there has been increasing interest in computational models of biological systems based on various calculi of communicating processes, such as the stochastic pi-ca...
ENTCS
2006
14 years 11 months ago
2006
Klaim is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
IJCOMSYS
2006
14 years 11 months ago
2006
More and more applications in the Internet are requiring an intelligent service infrastructure to provide customized services. In this paper, we present an infrastructure, which c...
IJISEC
2006
14 years 11 months ago
2006
We examine the problem of containing buffer overflow attacks in a safe and efficient manner. Briefly, we automatically augment source code to dynamically catch stack and heap-based...