597 search results - page 60 / 120 » Semantics for Dynamic Logic Programming: A Principle-Based A... |
138
Voted
POPL
2010
ACM
16 years 22 hour ago
2010
ACM
Concurrent programming errors arise when threads share data incorrectly. Programmers often avoid these errors by using synchronization to enforce a simple ownership policy: data i...
139
Voted
CLOUDCOM
2010
Springer
15 years 1 days ago
2010
Springer
Cloud computing has become one of the key considerations both in academia and industry. Cheap, seemingly unlimited computing resources that can be allocated almost instantaneously...
128
click to vote
OTM
2007
Springer
15 years 8 months ago
2007
Springer
We show how Semantic Web technologies can be used to build an access control system. We follow the role-based access control approach (RBAC) and extend it with contextual attribute...
123
Voted
ICSE
2011
IEEE-ACM
14 years 6 months ago
2011
IEEE-ACM
Developers who write code in a statically typed language are denied the ability to obtain dynamic feedback by executing their code during periods when it fails the static type che...
100
Voted
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
We present a type and effect system for flow analysis that makes essential use of higher-ranked polymorphism. We show that, for higher-order functions, the expressiveness of highe...