Sciweavers

1392 search results - page 6 / 279
» A Calculus for Dynamic Linking
Sort
View
CMSB
2009
Springer
14 years 2 months ago
Dynamic Compartments in the Imperative pi-Calculus
Dynamic compartments with mutable configurations and variable volumes are of basic interest for the stochastic modeling of biochemistry in cells. We propose a new language to expr...
Mathias John, Cédric Lhoussaine, Joachim Ni...
APCCAS
2006
IEEE
249views Hardware» more  APCCAS 2006»
14 years 1 months ago
Uncertainty Management for Estimation in Dynamical Systems
— A novel black-box model for time series of prices analysis is proposed. It is constructed using the technique of “shaping filter”. The model identification is then propos...
H. Baili
CONCUR
2006
Springer
13 years 11 months ago
Dynamic Access Control in a Concurrent Object Calculus
Abstract. We develop a variant of Gordon and Hankin's concurrent object calculus with support for flexible access control on methods. We investigate safe administration and ac...
Avik Chaudhuri
DEXAW
1998
IEEE
109views Database» more  DEXAW 1998»
13 years 11 months ago
Expressing Dynamics of Mobile Agent Systems Using Ambient Calculus
The mobile agent approach has become popular due to recent developments in the mobile code paradigm and enabling programming technologies. Many existing agentbased systems lack cl...
Peter Stañski, Arkady B. Zaslavsky
JAR
2008
107views more  JAR 2008»
13 years 7 months ago
Differential Dynamic Logic for Hybrid Systems
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equat...
André Platzer