1583 search results - page 246 / 317 » Feature Interaction Detection in the Feature Language Extens... |
226
Voted
CSFW
2003
IEEE
16 years 24 days ago
2003
IEEE
SPKI/SDSI is a language for expressing distributed access control policy, derived from SPKI and SDSI. We provide a first-order logic (FOL) semantics for SDSI, and show that it ha...
246
Voted
NDSS
2003
IEEE
16 years 23 days ago
2003
IEEE
Security is a major, frequent concern in extensible software systems such as Java Virtual Machines and the Common Language Runtime. These systems aim to enable simple, classic app...
213
Voted
UML
2001
Springer
15 years 12 months ago
2001
Springer
Software developers spend most of their time modifying and maintaining existing products. This is because systems, and consequently their design, are in perpetual evolution before ...
186
Voted
ESOP
2008
Springer
15 years 9 months ago
2008
Springer
In this work we address the problem of proving, by static analysis means, that allocating and deallocating regions in the store provides a safe way to achieve memory management. Th...
207
click to vote
OWLED
2008
15 years 9 months ago
2008
In many data-centric applications it is desirable to use OWL as an expressive schema language where one expresses constraints that need to be satisfied by the (instance) data. Howe...