2004 search results - page 340 / 401 » Comparison of Model Checking Tools for Information Systems |
102
click to vote
SACMAT
2009
ACM
15 years 6 months ago
2009
ACM
Traditional access control models, such as Role-Based Access Control (RBAC), do not take into account contextual information, such as location and time, for making access decision...
SEMWEB
2007
Springer
15 years 6 months ago
2007
Springer
Our research explores the possibilities for factoring culture into user models, working towards cultural adaptivity in the semantic web. The aim is to represent the user’s positi...
144
click to vote
VRML
2003
ACM
15 years 5 months ago
2003
ACM
One of the major challenges in Computer Graphics concerns the 3D representation and physically-based simulation of garments. In our research, we are working closely with the texti...
122
click to vote
WWW
2007
ACM
16 years 15 days ago
2007
ACM
In this work, we present an extension of CORE [2], a tool for Collaborative Ontology Reuse and Evaluation. The system receives an informal description of a specific semantic domai...
100
click to vote
IUI
2009
ACM
15 years 8 months ago
2009
ACM
Knowledge workers must manage large numbers of simultaneous, ongoing projects that collectively involve huge numbers of resources (documents, emails, web pages, calendar items, et...