2830 search results - page 271 / 566 » No Science without Semantics |
133
click to vote
CSL
2009
Springer
15 years 11 months 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...
123
click to vote
HT
2009
ACM
15 years 11 months ago
2009
ACM
Collaborative tagging systems are now popular tools for organising and sharing information on the Web. While collaborative tagging offers many advantages over the use of controll...
134
click to vote
ACISICIS
2007
IEEE
15 years 10 months ago
2007
IEEE
ORN Additive is a prototype tool that was developed to show how the gap between database modeling and implementation can be reduced—more specifically, to show how associations d...
114
click to vote
ICNP
2007
IEEE
15 years 10 months ago
2007
IEEE
A firewall policy that is correct and complete is crucial to the safety of a computer network. An adversary will benefit a lot from knowing the policy or its semantics. In this pap...
140
click to vote
ACSD
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper proposes a new approach for the hazard checking of timed asynchronous circuits. Previous papers proposed either exact algorithms, which suffer from statespace explosion...