118 search results - page 15 / 24 » A Computational Approach to Pocklington Certificates in Type... |
CONCUR
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. We consider the problem of defining the information leakage in interactive systems where secrets and observables can alternate during the computation. We show that the in...
DAC
2007
ACM
14 years 9 months ago
2007
ACM
Abstract-- The PPV is a robust phase domain macromodel for oscillators. It has been proven to predict oscillators' responses correctly under small signal perturbations, and ca...
AGENTCL
2000
Springer
14 years 29 days ago
2000
Springer
Intelligent agents in the agent language 3APL are computational entities consisting of beliefs and goals which make up their mental state. In this paper, we integrate communicatio...
MIS
2007
Springer
13 years 8 months ago
2007
Springer
Mobility models, synthetic or trace, try to accurately model the movement of a single user or a group of users. Models are used in simulators and emulators to investigate the cons...
ENTCS
2008
13 years 8 months ago
2008
Mathematical texts can be computerized in many ways that capture differing amounts of the mathematical meaning. At one end, there is document imaging, which captures the arrangeme...