8337 search results - page 1345 / 1668 » Reasoning With Characteristic Models |
177
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
Many recent research projects focus on language support for behavioral software contracts, that is, assertions that govern the boundaries between software building blocks such as ...
162
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...
187
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...
186
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...
177
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...