Sciweavers

11561 search results - page 422 / 2313
» Open Distributed Processing
Sort
View
CMSB
2009
Springer
16 years 2 months ago
Approximation of Event Probabilities in Noisy Cellular Processes
Molecular noise, which arises from the randomness of the discrete events in the cell, significantly influences fundamental biological processes. Discrete-state continuous-time st...
Frédéric Didier, Thomas A. Henzinger...
147
Voted
ISQED
2008
IEEE
103views Hardware» more  ISQED 2008»
16 years 1 months ago
Process Variation Characterization and Modeling of Nanoparticle Interconnects for Foldable Electronics
— Designers require variational information for robust designs. Characterization of such information can be costly for the novel nanoparticle interconnect process, which utilize ...
Rasit Onur Topaloglu
216
Voted
SARA
2007
Springer
16 years 1 months ago
Active Learning of Dynamic Bayesian Networks in Markov Decision Processes
Several recent techniques for solving Markov decision processes use dynamic Bayesian networks to compactly represent tasks. The dynamic Bayesian network representation may not be g...
Anders Jonsson, Andrew G. Barto
191
Voted
TLCA
2007
Springer
16 years 1 months ago
Two Session Typing Systems for Higher-Order Mobile Processes
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
Dimitris Mostrous, Nobuko Yoshida
ASWEC
2005
IEEE
16 years 1 months ago
A Process-Based Semantics for Message Sequence Charts with Data
Message Sequence Charts (MSCs) are a graphical language for scenarios of communicating components exchanging messages in a distributed environment. The language has been standardi...
Chien-An Chen, Sara Kalvala, Jane Sinclair