Sciweavers

1003 search results - page 27 / 201
» Proposal of Generalized Rule Programming Model
Sort
View
CL
2010
Springer
13 years 9 months ago
Isolating untrusted software extensions by custom scoping rules
In a modern programming language, scoping rules determine the visibility of names in various regions of a program [15]. In this work, we examine the idea of allowing an applicatio...
Philip W. L. Fong, Simon A. Orr
CAEPIA
2003
Springer
14 years 2 months ago
Towards Biresiduated Multi-adjoint Logic Programming
Abstract. Multi-adjoint logic programs were recently proposed as a generalization of monotonic and residuated logic programs, in that simultaneous use of several implications in th...
Jesús Medina, Manuel Ojeda-Aciego, Agust&ia...
PPDP
2007
Springer
14 years 3 months ago
Real-time rewriting semantics of orc
Orc is a language proposed by Jayadev Misra [19] for orchestration of distributed services. Orc is very simple and elegant, based on a few basic constructs, and allows succinct an...
Musab AlTurki, José Meseguer
ICDAR
2009
IEEE
13 years 6 months ago
Page Rule-Line Removal Using Linear Subspaces in Monochromatic Handwritten Arabic Documents
In this paper we present a novel method for removing page rule lines in monochromatic handwritten Arabic documents using subspace methods with minimal effect on the quality of the...
Wael Abd-Almageed, Jayant Kumar, David S. Doermann
TCC
2009
Springer
112views Cryptology» more  TCC 2009»
14 years 9 months ago
Non-malleable Obfuscation
Existing definitions of program obfuscation do not rule out malleability attacks, where an adversary that sees an obfuscated program is able to generate another (potentially obfus...
Ran Canetti, Mayank Varia