6881 search results - page 76 / 1377 » Motivation |
122
click to vote
ASM
2008
ASM
15 years 1 months ago
2008
ASM
Abstract. The Mondex case study concerns the formal development and verification of an electronic purse protocol. Several groups have worked on its specification and mechanical ver...
ITICSE
2010
ACM
15 years 1 months ago
2010
ACM
We show how to teach and motivate small quantum computer programs as a supplemental topic in a CS2 data structures class. A traditional example such as Shor’s factorization [8] ...
119
click to vote
REFSQ
2010
Springer
2010
Springer
Towards a Framework to Elicit and Manage Security and Privacy Requirements from Laws and Regulations
15 years 1 months ago
[Context and motivation] The increasing demand of software systems to process and manage sensitive information has led to the need that software systems should comply with relevant...
ACL
2008
15 years 1 months ago
2008
When multiple conversations occur simultaneously, a listener must decide which conversation each utterance is part of in order to interpret and respond to it appropriately. We ref...
105
click to vote
JURIX
2008
15 years 1 months ago
2008
In this paper we present an approach to abductive reasoning in law by examining it in the context of an argumentation scheme for practical reasoning. We present a particular scheme...