1422 search results - page 68 / 285 » Complementation in Abstract Interpretation |
146
click to vote
TDSC
2010
14 years 11 months ago
2010
We describe Instruction-Set Randomization (ISR), a general approach for safeguarding systems against any type of code-injection attack. We apply Kerckhoffs' principle to creat...
190
Voted
AOSE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
171
click to vote
BTW
2003
Springer
15 years 10 months ago
2003
Springer
Abstract: This paper introduces the Internet Operating Platform (IOP), an enterprise framework for large scale software development. In addition to obeying to important standards (...
171
click to vote
WADS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Algorithms or target functions for graph clustering rarely admit quality guarantees or optimal results in general. Based on properties of minimum-cut trees, a clustering ...
136
click to vote
ICAC
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— DotSlash is an automated web hotspot rescue system. This paper presents DotSlash Qcache services that allow a web site to use on-demand distributed query result caching...