656 search results - page 88 / 132 » Parameterized Types for Java |
SPC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
ECAI
2004
Springer
14 years 1 months ago
2004
Springer
Model-based diagnosis applied to computer programs has been studied for several years. Although there are still weaknesses in the used models, especially on dealing with dynamic da...
GPCE
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...
SGAI
2004
Springer
14 years 1 months ago
2004
Springer
Reuse of knowledge bases and the semantic web are two promising areas in knowledge technologies. Given some user requirements, finding the suitable ontologies is an important task...
ACSC
2002
IEEE
14 years 21 days ago
2002
IEEE
The per-method access control lists of standard middleware technologies allow only simple forms of access control to be expressed and enforced. Research systems based on capabilit...