2604 search results - page 369 / 521 » General constant expressions for system programming language... |
162
click to vote
COMMA
2010
14 years 11 months ago
2010
Abstract. Constrained argumentation frameworks (CAF) generalize Dung's frameworks by allowing additional constraints on arguments to be taken into account in the definition of...
117
click to vote
SIGCSE
2005
ACM
15 years 10 months ago
2005
ACM
Universities are increasingly offering courses online. Feedback, assessment, and guidance are important features of this online courseware. Together, in the absence of a human tut...
118
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
We add assignment operators to languages for epistemic actions, so that change of knowledge and change of facts can be combined in specifications of multi-agent system dynamics. ...
139
click to vote
STEP
2003
IEEE
15 years 9 months ago
2003
IEEE
Many software applications produced today have a component, of lesser or greater importance to the structure, that is based on database management systems. What is more, this infor...
131
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
We have designed, implemented, and evaluated AtomCaml, an extension to Objective Caml that provides a synchronization primitive for atomic (transactional) execution of code. A fir...