5757 search results - page 365 / 1152 » Dynamic Policy Programming |
181
Voted
ICSM
2000
IEEE
15 years 11 months ago
2000
IEEE
Conditioned slicing is a powerful generalisation of static and dynamic slicing which has applications to many problems in software maintenance and evolution, including re-use, ree...
143
click to vote
ACSAC
2005
IEEE
16 years 11 days ago
2005
IEEE
We present e-NeXSh, a novel security approach that utilises kernel and LIBC support for efficiently defending systems against process-subversion attacks. Such attacks exploit vul...
198
click to vote
KES
2006
Springer
15 years 6 months ago
2006
Springer
Distributing pieces of knowledge in large, usually distributed organizations is a central problem in Knowledge and Organization management. Policies for distributing knowledge and...
196
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Tribal Ownership unifies class nesting and object ownership. Tribal Ownership is based on Tribe, a language with nested classes and object families. In Tribal Ownership, a progra...
156
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
We introduce a dynamic logic that is enriched by non-rigid functions, i.e., functions that may change their value from state to state (during program execution), and we present a (...