4286 search results - page 461 / 858 » Formalizing Service Interactions |
213
click to vote
CSFW
2012
IEEE
13 years 9 months ago
2012
IEEE
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
196
click to vote
ECOOP
2012
Springer
13 years 9 months ago
2012
Springer
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchron...
146
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
A major challenge that new college students face is the establishment of healthy habits that will affect their long-term health. Focusing on this difficult task is myPyramid: a di...
161
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
The MiTAP system was developed as an experimental prototype using human language technologies for monitoring disease outbreaks. The system provides timely, multi-lingual, global i...
183
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Half the world’s population is expected to live in urban areas by 2020. The high human density and changes in peoples’ consumption habits result in an everincreasing amount of...