10575 search results - page 1567 / 2115 » T2Script Programming Language |
165
click to vote
IFIP
2009
Springer
16 years 1 months ago
2009
Springer
We consider the problem of detecting covert channels within security-enforcing object-capability patterns. Traditional formalisms for reasoning about the security properties of obj...
155
click to vote
GRC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Granular computing unifies structured thinking, structured problem solving and structured information processing. In order to see the flexibility and universal applicability ...
192
click to vote
ICSM
2007
IEEE
16 years 1 months ago
2007
IEEE
Legacy software systems often suffer from code quality problems. Maintenance of legacy systems can therefore be costly, and the value of legacy systems may diminish due to a lack ...
198
click to vote
IEEEICCI
2007
IEEE
16 years 1 months ago
2007
IEEE
Shao and Wang have proposed a cognitive complexity measure[8] as a metric that can be used for estimating the comprehension effort for understanding software written in imperative...
162
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. We present a formal treatment of normalization by evaluation in type theory. The involved semantics of simply-typed λ-calculus is exactly the simply typed fragment of th...