2181 search results - page 92 / 437 » The restriction scaffold problem |
AOSD
2010
ACM
14 years 4 months ago
2010
ACM
Statically typed aspect-oriented programming languages restrict application of around advice only to the join points that have conforming types. Though the restriction guarantees ...
ICECCS
2005
IEEE
14 years 3 months ago
2005
IEEE
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...
FOSSACS
2004
Springer
14 years 3 months ago
2004
Springer
This paper compares the expressiveness of ambient calculi against different dialects of the pi-calculus. Cardelli and Gordon encoded the asynchronous pi-calculus into their calcul...
KR
2010
Springer
14 years 2 months ago
2010
Springer
There is currently a growing interest in techniques for hiding parts of the signature of an ontology Kh that is being reused by another ontology Kv. Towards this goal, Cuenca Grau...
CLUSTER
2000
IEEE
14 years 2 months ago
2000
IEEE
Current processor allocation techniques for multicomputers are based on centralized front-end based algorithms. As a result, the applied strategies are usually restricted to stati...