5787 search results - page 611 / 1158 » Generic User Modeling Systems |
171
click to vote
ISW
2005
Springer
16 years 15 days ago
2005
Springer
We present a model-checking algorithm which can be used to evaluate access control policies, and a tool which implements it. The evaluation includes not only assessing whether the ...
254
click to vote
FATES
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. More and more software systems use a browser as the universal graphical user interface. As a consequence these applications inherit browser navigation as part of their in...
130
click to vote
ISMB
1998
15 years 8 months ago
1998
Wedescribe a prototype system (Poly-X) for assisting an expert user in modelingprotein repeats. Poly-X reduces the large numberof degrees of freedomrequired to specify a protein m...
207
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
The integration of renewable energy generation, such as wind power, into the electric grid is difficult because of the source intermittency and the large distance between generatio...
222
click to vote
MM
2010
ACM
15 years 7 months ago
2010
ACM
Networked virtual environments like Second Life enable distant people to meet for leisure as well as work. But users are represented through avatars controlled by keyboards and mo...