10038 search results - page 1622 / 2008 » Model Checking for Managers |
176
click to vote
IKE
2003
15 years 8 months ago
2003
We describe the design of an Access Control System using Web Services for information and content management. In this paper we described the solution for control mechanism of the ...
180
click to vote
UAI
2003
15 years 8 months ago
2003
Learning with hidden variables is a central challenge in probabilistic graphical models that has important implications for many real-life problems. The classical approach is usin...
190
click to vote
WISES
2003
15 years 8 months ago
2003
Abstract — Control systems are often software-intensive applications that are becoming extremely complex as new functionality is required. Complexity is a real engineering challe...
201
click to vote
PTS
1998
15 years 8 months ago
1998
In this paper we present factorized test generation techniques that can be used to generate test cases from a specification that is modelled as a labelled transition system. The t...
158
click to vote
RBAC
1998
15 years 8 months ago
1998
The intricacy of security administration is one of the most challenging problems in large networked systems. This problem is especially serious in the Web environment, which consi...