Sciweavers

2017 search results - page 328 / 404
» Distributional Semantics in Technicolor
Sort
View
PEPM
2010
ACM
16 years 2 months ago
Context-sensitive analysis of obfuscated x86 executables
A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipul...
Arun Lakhotia, Davidson R. Boccardo, Anshuman Sing...
CCS
2009
ACM
16 years 24 days ago
A metadata calculus for secure information sharing
In both commercial and defense sectors a compelling need is emerging for rapid, yet secure, dissemination of information to the concerned actors. Traditional approaches to informa...
Mudhakar Srivatsa, Dakshi Agrawal, Steffen Reidt
PPDP
2009
Springer
16 years 16 days ago
Session types for linear multithreaded functional programming
The construction of reliable concurrent and distributed systems is an extremely difficult endeavour. For complex systems, it requires modular development strategies based on prec...
Vasco Thudichum Vasconcelos
CLUSTER
2007
IEEE
16 years 10 days ago
FlexRPC: A flexible Remote Procedure Call facility for modern cluster file systems
— The concept of Remote Procedure Call (RPC) was proposed more than 30 years ago. Although various RPC systems have been studied and implemented, the existing RPC systems lack ma...
Sang-Hoon Kim, Youngjae Lee, Jin-Soo Kim
PPDP
2007
Springer
16 years 3 days ago
Unfolding in CHR
Program transformation is an appealing technique which allows to improve run-time efficiency, space-consumption and more generally to optimize a given program. Essentially it con...
Paolo Tacchella, Maurizio Gabbrielli, Maria Chiara...