1843 search results - page 8 / 369 » Securing Class Initialization |
OOPSLA
2004
Springer
14 years 22 days ago
2004
Springer
ECOOP
2009
Springer
14 years 8 months ago
2009
Springer
We present a type system for checking object immutability, read-only references, and class immutability in an open or closed world. To allow object initialization outside object co...
CODES
2005
IEEE
14 years 1 months ago
2005
IEEE
The growing number of information security breaches in electronic and computing systems calls for new design paradigms that consider security as a primary design objective. This i...
SCL
2008
13 years 7 months ago
2008
: The paper considers a model validation problem for a class of uncertain systems in which the uncertainty is described by an integral quadratic constraint and the uncertain system...
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
— In this paper we propose a systematic way of incorporating human inputs in navigation plans. The proposed controller is based on a new class of navigation function based contro...