6047 search results - page 737 / 1210 » Modeling with Extend |
184
click to vote
ASIACRYPT
2009
Springer
16 years 1 months ago
2009
Springer
A leakage-resilient cryptosystem remains secure even if arbitrary, but bounded, information about the secret key (or possibly other internal state information) is leaked to an adv...
163
click to vote
CALCO
2009
Springer
16 years 1 months ago
2009
Springer
d abstract) Sam Staton Computer Laboratory, University of Cambridge Abstract. A labelled transition system can be understood as a coalgebra for a particular endofunctor on the cate...
202
click to vote
EPIA
2009
Springer
16 years 1 months ago
2009
Springer
Logic Programming Update Languages were proposed as an extension of logic programming that allows modeling the dynamics of knowledge bases where both extensional (facts) and intent...
170
click to vote
FSEN
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we study the interconnection between relationships and roles. We start from the patterns used to introduce relationships in object oriented languages. We show how th...
189
click to vote
ICCS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, we extend Simple Conceptual Graphs with Reiter’s default rules. The motivation for this extension came from the type of reasonings involved in an agronom...