253 search results - page 23 / 51 » Imperative self-adjusting computation |
IEEEIAS
2008
IEEE
14 years 1 months ago
2008
IEEE
: This paper focuses on the different challenges to design a security typed web scripting language. It uses the type system approach on a simple imperative language that captures a...
SAINT
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper, we propose three metrics for detecting botnets through analyzing their behavior. Our social infrastructure (i.e., the Internet) is currently experiencing the danger...
3DPVT
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper a novel method for 3D content-based search and retrieval is proposed. Guided by the imperative need for a reliable 3D content based search tool and the very interest...
LCN
2005
IEEE
14 years 1 months ago
2005
IEEE
— The sensing capabilities of networked sensors are affected by environmental factors in real deployment and it is imperative to have practical considerations at the design stage...
LICS
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...