605 search results - page 60 / 121 » Dynamic inference of abstract types |
ASIAN
2006
Springer
14 years 20 days ago
2006
Springer
Abstract Non-interference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checkin...
ICML
2000
IEEE
14 years 1 months ago
2000
IEEE
The reinforcement learning problem can be decomposed into two parallel types of inference: (i) estimating the parameters of a model for the underlying process; (ii) determining be...
JCC
2008
13 years 9 months ago
2008
Abstract: The dynamic behavior of monomeric Vpu1-32 from HIV-1 in different lipid environments has been studied. The peptide shows highly flexible behavior during the simulations a...
DALT
2006
Springer
14 years 18 days ago
2006
Springer
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...
HPCNCS
2007
13 years 10 months ago
2007
Abstract—As the bandwidth of networks is increasing exponentially, the computational cost to simulate such type of networks is also growing in a similar fashion. This paper prese...