7296 search results - page 153 / 1460 » informs 2010 |
165
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
We consider a calculus for multiparty sessions with delegation, enriched with security levels for session participants and data. We propose a type system that guarantees both sessi...
159
click to vote
DEXAW
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract-- In the age of Web 2.0 people organize large collections of web pages, articles, or emails in hierarchies of topics, or arrange a large body of knowledge in ontologies. T...
152
click to vote
ERCIMDL
2010
Springer
15 years 7 months ago
2010
Springer
Collaboratively created online encyclopedias have become increasingly popular. Especially in terms of completeness they have begun to surpass their printed counterparts. Two German...
159
Voted
HICSS
2010
IEEE
15 years 7 months ago
2010
IEEE
Innovative strategies for effective basin-scale salinity management have been developed in the Hunter River Basin of Australia and more recently in the San Joaquin River Basin of ...
162
Voted
ATVA
2010
Springer
15 years 6 months ago
2010
Springer
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...