Sciweavers

579 search results - page 50 / 116
» User Modelling for Live Help Systems
Sort
View
COMPSAC
2010
IEEE
14 years 12 months ago
A Consistency Model for Identity Information in Distributed Systems
In distributed IT systems, replication of information is commonly used to strengthen the fault tolerance on a technical level or the autonomy of an organization on a business level...
Thorsten Höllrigl, Jochen Dinger, Hannes Hart...
MEDES
2010
ACM
14 years 8 months ago
Negotiating and delegating obligations
In this paper, we describe a security model where users are allowed to control their obligations partially or totally, depending on the security policy. The main motivation of our...
Meriam Ben-Ghorbel-Talbi, Frédéric C...
JCS
2008
119views more  JCS 2008»
15 years 1 months ago
Synthesising verified access control systems through model checking
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev
UIST
1996
ACM
15 years 6 months ago
The Cage: Efficient Construction in 3D Using a Cubic Adaptive Grid
The Cage is an easy to use 3D grid. Built into a 3D modeler, it provides a visualized reference coordinate system that helps the user to orient himself in 3D space, and that suppo...
Patrick Baudisch
WSC
2007
15 years 4 months ago
Guiding principles for conceptual model creation in manufacturing simulation
Conceptual models serve as abstractions of user’s perceptions of a system. The choice and detailing of these abstractions are key to model use and understanding for analyst and ...
Durk-Jouke van der Zee, Jack G. A. J. van der Vors...