7075 search results - page 1161 / 1415 » Models and heterogeneous reasoning |
166
click to vote
SBMF
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...
190
click to vote
SACMAT
2009
ACM
16 years 1 months ago
2009
ACM
XACML does not natively support RBAC and even the specialized XACML profiles are not able to support many relevant constraints such as static and dynamic separation of duty. Exte...
189
click to vote
ASIAMS
2008
IEEE
16 years 1 months ago
2008
IEEE
Efficiency is one of the major issues in intrusion detection. Inefficiency is often attributed to high overhead and this is caused by several reasons. Among them are continuous de...
179
click to vote
EMS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents rough sets generating prediction rules scheme for stock price movement. The scheme was able to extract knowledge in the form of rules from daily stock movement...
182
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
—Mobile WiMAX has become one of the 3rd Generation communication systems and its performance has been widely evaluated. The physical overhead is a critical factor that may affect...