2776 search results - page 83 / 556 » System-Level Abstraction Semantics |
127
click to vote
INTERNET
2007
15 years 3 months ago
2007
that the educator is an abstract role; often many kinds of people are involved, including subject-matter experts, content authors, instructional designers, and teachers. No individ...
150
click to vote
JSW
2007
15 years 3 months ago
2007
Abstract— We present and evaluate a novel constraintbased model transformation approach that implements a preservation-centric view. The proposed framework comprises formal prese...
134
click to vote
FOSSACS
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We propose a denotational semantics for the two-level language of [GJ91, Gom92], and prove its correctness w.r.t. a standard denotational semantics. Other researchers (se...
137
click to vote
COMMA
2010
14 years 11 months ago
2010
Abstract argument frameworks have been used for various applications within multi-agent systems, including reasoning and negotiation. Different argument frameworks make use of diff...
140
click to vote
IACR
2011
14 years 3 months ago
2011
What does it mean for an encryption scheme to be leakage-resilient? Prior formulations require that the scheme remains semantically secure even in the presence of leakage, but onl...