4690 search results - page 253 / 938 » An operational semantics for Scheme |
208
click to vote
JSW
2007
15 years 6 months ago
2007
— Web services composition is a very active area of research due to the growing interest of public and private organizations in services integration and/or low cost development o...
159
click to vote
IANDC
2010
15 years 5 months ago
2010
Categorial grammars in the tradition of Lambek [18, 19] are asymmetric: sequent statements are of the form Γ ⇒ A, where the succedent is a single formula A, the antecedent a st...
190
click to vote
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper we introduce a theory of meta-argumentation, by using Dung’s theory of abstract argumentation to reason about itself. Metaarguments are generated from atomic argum...
154
click to vote
IACR
2011
14 years 6 months ago
2011
We put forward the notion of targeted malleability: given a homomorphic encryption scheme, in various scenarios we would like to restrict the homomorphic computations one can perf...
158
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
KAOS is a goal directed requirements engineering framework based on the decomposition and refinement of goals. Decomposition and refinement continue until a point is reached at ...