1045 search results - page 26 / 209 » The Use of Exceptions |
CLEIEJ
2010
14 years 7 months ago
2010
In this work, we present the systematic incorporation of Kinesthetic Learning Activities (activities with movements and sensations), into the Computer Science 1 course. We detail ...
MATES
2007
Springer
15 years 3 months ago
2007
Springer
The most common reason for plan repair are the violation of a plan’s temporal constraints. Air Traffic Control is an example of an area in which violations of the plan’s tempo...
117
click to vote
CIS
2004
Springer
15 years 3 months ago
2004
Springer
The pi calculus has been applied to modelling biochemical networks. In these applications, the modelling is done without considerations to exceptions. The Ipi calculus, the Interfe...
CRYPTO
1994
Springer
15 years 1 months ago
1994
Springer
We present a technique which aids in the linear cryptanalysis of a block cipher and allows for a reduction in the amount of data required for a successful attack. We note the limit...
113
click to vote
CSFW
1995
IEEE
15 years 1 months ago
1995
IEEE
We discuss the issues involved in modelling and verifying key-exchange protocols within the framework of CSP and its model-checking tool FDR. Expressing such protocols within a pr...