1670 search results - page 242 / 334 » On Skolemization in constructive theories |
155
click to vote
ECOOP
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. In many domains, classes have highly regular internal structure. For example, so-called business objects often contain boilerplate code for mapping database fields to cl...
170
click to vote
ECTEL
2007
Springer
16 years 17 days ago
2007
Springer
Motivation to learn is affected by a student’s self-efficacy, goal orientation, locus of control and perceived task difficulty. In the classroom, teachers know how to motivate th...
181
click to vote
ESORICS
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Security policies, in particular access control, are fundamental elements of computer security. We address the problem of authoring and analyzing policies in a modular wa...
164
click to vote
LADS
2007
Springer
16 years 16 days ago
2007
Springer
In agent theory and agent programming, goals constitute the motivational attitude of rational agents and form the key concept in explaining and generating their pro-active behavior...
178
click to vote
PPDP
2007
Springer
16 years 15 days ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...