5818 search results - page 1052 / 1164 » A reasonable Semantic Web |
142
click to vote
ISSTA
2009
ACM
16 years 23 days ago
2009
ACM
Atomicity is a key correctness specification for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed...
171
click to vote
SACMAT
2009
ACM
16 years 23 days ago
2009
ACM
XACML does not natively support RBAC and even the specialized XACML profiles are not able to support many relevant constraints such as static and dynamic separation of duty. Exte...
157
click to vote
ISM
2008
IEEE
16 years 19 days ago
2008
IEEE
In the recent years, photo context metadata (e.g., date, GPS coordinates) have been proved to be useful in the management of personal photos. However, these metadata are still poo...
169
click to vote
LICS
2008
IEEE
16 years 19 days ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
164
click to vote
AINA
2007
IEEE
16 years 18 days ago
2007
IEEE
In the Ad-Hoc InfoWare project, we develop a delay tolerant event notification service for sparse Mobile Ad-Hoc Networks for emergency and rescue operations. In most event notific...