1522 search results - page 55 / 305 » Practical Exception Specifications |
99
Voted
ATAL
2004
Springer
15 years 7 months ago
2004
Springer
In real world applications, agents - be they software agents or autonomous robots - inevitably face erroneous situations that have not been planned for. Re-planning can sometimes ...
119
click to vote
COMPSAC
2002
IEEE
15 years 6 months ago
2002
IEEE
The Integration of complex systems out of existing systems is an active area of research and development. There are many practical situations in which the interfaces of the compon...
123
click to vote
ASIACRYPT
2000
Springer
15 years 6 months ago
2000
Springer
Assuming a cryptographically strong cyclic group G of prime order q and a random hash function H, we show that ElGamal encryption with an added Schnorr signature is secure against ...
109
click to vote
PEPM
1994
ACM
15 years 5 months ago
1994
ACM
We present an efficient base algorithm for binding-time analysis based on constraint solving and the union-find algorithm. In practice it has been used to handle all of Standard M...
114
click to vote
COLT
2008
Springer
15 years 3 months ago
2008
Springer
We study on-line decision problems where the set of actions that are available to the decision algorithm vary over time. With a few notable exceptions, such problems remained larg...