3792 search results - page 629 / 759 » Techniques for Trusted Software Engineering |
168
click to vote
ACSC
2006
IEEE
16 years 17 days ago
2006
IEEE
Code obfuscation is a relatively new technique of software protection and it works by deterring reverse engineering attempts by malicious users of software. The objective of obfus...
175
click to vote
ACOM
2006
Springer
16 years 14 days ago
2006
Springer
Interaction protocols enable agents to communicate with each other effectively. Whereas several approaches exist to specify interaction protocols, none of them has design tools th...
155
click to vote
PPOPP
2006
ACM
16 years 13 days ago
2006
ACM
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
183
click to vote
SAC
2006
ACM
16 years 13 days ago
2006
ACM
Dynamic languages typically allow programs to be written y high level of abstraction. But their dynamic nature makes it very hard to compile such languages, meaning that a price h...
156
click to vote
CODES
2005
IEEE
16 years 3 days ago
2005
IEEE
Byte-code based languages are slowly becoming adopted in embedded domains because of improved security and portability. Another potential reason for their adoption is the reputati...