38 search results - page 4 / 8 » Coalgebraic Epistemic Update Without Change of Model |
ASIACRYPT
2005
Springer
14 years 2 months ago
2005
Springer
In this paper, we discuss non-interactive updating of decryption keys in identity-based encryption (IBE). IBE is a public key cryptosystem where a public key is an arbitrary strin...
WSC
1998
13 years 10 months ago
1998
The current structure of the High Level Architecture (HLA) puts a tremendous burden on network load and CPU utilization for large distributed simulations due to its limited contro...
SBBD
2007
13 years 10 months ago
2007
Abstract. We consider the problem of XML schema evolution preserving the validity of existing documents related to the original schema. The aim of such schema evolution is to fit ...
ERSHOV
2003
Springer
14 years 1 months ago
2003
Springer
The model-view-controller pattern is used to keep a data model and its views consistent. Usually there is a one-to-one correspondence between the data in the model and its represen...
ICCBR
2005
Springer
14 years 2 months ago
2005
Springer
We focus on the problem of selecting the few vehicles in a fleet that are expected to last the longest without failure. The prediction of each vehicle’s remaining life is based o...