852 search results - page 31 / 171 » Understanding How the Requirements Are Implemented in Source... |
113
click to vote
COOTS
2001
15 years 5 months ago
2001
Mainstream object-oriented languages, such as C++ and Java1 , provide only a restricted form of polymorphic methods, namely uni-receiver dispatch. In common programming situations...
111
click to vote
ACSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
—Access control models describe frameworks that dictate how subjects (e.g. users) access resources. In the Role-Based Access Control (RBAC) model access to resources is based on ...
134
click to vote
ACSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
Comparing the system call sequence of a network application against a sandboxing policy is a popular approach to detecting control-hijacking attack, in which the attacker exploits...
161
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
108
click to vote
TSE
2008
15 years 3 months ago
2008
Design patterns are important in object-oriented programming because they offer design motifs, elegant solutions to recurrent design problems, which improve the quality of software...