1700 search results - page 170 / 340 » Specifying and implementing refactorings |
149
click to vote
ICN
2009
Springer
16 years 25 days ago
2009
Springer
— VoIP is one of the most emerging technologies in the area of speech communications. VoIP is widely deployed in fixed line access networks. However, user’s requirements on the...
159
click to vote
POLICY
2009
Springer
16 years 24 days ago
2009
Springer
Abstract—An administrative role-based access control (ARBAC) model specifies administrative policies over a role-based access control (RBAC) system, where an administrative perm...
157
click to vote
PPDP
2009
Springer
16 years 24 days ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
145
click to vote
ITICSE
2009
ACM
16 years 23 days ago
2009
ACM
In general, university guidelines or policies on plagiarism are not sufficiently detailed to cope with the technical complexity of software. Software plagiarism can have a signi...
137
click to vote
CGO
2008
IEEE
16 years 22 days ago
2008
IEEE
We propose a new instruction, branch-on-random, that is like a standard conditional branch, except rather than specifying the condition on which the branch should be taken, it spe...