4445 search results - page 341 / 889 » Reflective Authorization Systems |
190
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
149
click to vote
HICSS
2006
IEEE
16 years 28 days ago
2006
IEEE
Knowledge is considered to be a key organizational resource in the 21st century and the knowledge management ‘movement’ has alerted organizations to the fact that they should ...
269
click to vote
DILS
2005
Springer
16 years 13 days ago
2005
Springer
Unbiased metabolomic surveys are used for physiological, clinical and genomic studies to infer genotype-phenotype relationships. Long term reusability of metabolomic data needs bot...
163
click to vote
OOPSLA
2005
Springer
16 years 11 days ago
2005
Springer
An approach to managing the architecture of large software systems is presented. Dependencies are extracted from the code by a conventional static analysis, and shown in a tabular...
154
click to vote
PLDI
1992
ACM
15 years 11 months ago
1992
ACM
: SELF's debugging system provides complete source-level debugging (expected behavior) with globally optimized code. It shields the debugger from optimizations performed by th...