Sciweavers

938 search results - page 122 / 188
» Mathematical Modelling the Ethnic System
Sort
View
ISCAS
2006
IEEE
130views Hardware» more  ISCAS 2006»
15 years 6 months ago
Multi-source multi-path video streaming over wireless mesh networks
Abstract— In this paper, we propose a multi-source multipath video streaming system to support concurrent Video-onDemand (VoD) services over Wireless Mesh Networks (WMNs), and ap...
Danjue Li, Qian Zhang, Chen-Nee Chuah, S. J. Ben Y...
CALCO
2005
Springer
114views Mathematics» more  CALCO 2005»
15 years 6 months ago
Towards a Coalgebraic Semantics of the Ambient Calculus
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...
156
Voted
ECAL
1995
Springer
15 years 4 months ago
Contextual Genetic Algorithms: Evolving Developmental Rules
A genetic algorithm scheme with a stochastic genotype/phenotype relation is proposed. The mechanisms responsible for this intermediate level of uncertainty, are inspired by the bio...
Luis Mateus Rocha
84
Voted
ICFEM
1997
Springer
15 years 4 months ago
Refinement of Information Flow Architectures
A calculus is presented for the stepwise refinement of abstract information flow architectures. We give a mathematical model for information flow components based on relations bet...
Jan Philipps, Bernhard Rumpe
195
Voted
ENTCS
2006
273views more  ENTCS 2006»
15 years 16 days ago
Operator Algebras and the Operational Semantics of Probabilistic Languages
We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transi...
Alessandra Di Pierro, Herbert Wiklicky