253 search results - page 23 / 51 » Imperative self-adjusting computation |
168
click to vote
IEEEIAS
2008
IEEE
16 years 26 days 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...
143
Voted
SAINT
2007
IEEE
16 years 21 days 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...
165
click to vote
3DPVT
2006
IEEE
16 years 15 days 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...
166
Voted
LCN
2005
IEEE
16 years 20 hour 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...
162
click to vote
LICS
2005
IEEE
16 years 20 hour 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 ...