4401 search results - page 599 / 881 » Computing with Default Logic |
132
click to vote
NDSS
2009
IEEE
16 years 22 days ago
2009
IEEE
Host compromise is a serious computer security problem today. To better protect hosts, several Mandatory Access Control systems, such as Security Enhanced Linux (SELinux) and AppA...
156
click to vote
CSL
2009
Springer
16 years 18 days ago
2009
Springer
We define an “enriched effect calculus” by extending a type theory for computational effects with primitives from linear logic. The new calculus, which generalises intuitionis...
148
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
Huet and L´evy (1979) showed that needed reduction is a normalizing strategy for orthogonal (i.e., left-linear and non-overlapping) term rewriting systems. In order to obtain a de...
148
click to vote
ICCS
2004
Springer
15 years 11 months ago
2004
Springer
The distributed information technologies collectively known as Web services recently have demonstrated powerful capabilities for scalable interoperation of heterogeneous software a...
198
click to vote
IWAN
2004
Springer
15 years 11 months ago
2004
Springer
The proliferation of computer viruses and Internet worms has had a major impact on the Internet Community. Cleanup and control of malicious software (malware) has become a key prob...