6274 search results - page 879 / 1255 » Proofs, Programs, Processes |
120
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Current middleware systems suffer from drawbacks. Often one is forced to make decisions early in the design process about which classes may participate in inter-machine communicat...
118
Voted
ENTCS
2008
15 years 3 months ago
2008
This paper presents the language Lutin and its operational semantics. This language specifically targets the domain of reactive systems, where an execution is a (virtually) infini...
99
Voted
AUTOMATICA
2006
15 years 3 months ago
2006
Industrial implementation of model-based control methods, such as model predictive control, is often complicated by the lack of knowledge about the disturbances entering the syste...
133
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
A commonly used type of search tree is the alphabetic binary tree, which uses (without loss of generality) "less than" versus "greater than or equal to" tests ...
132
Voted
ENTCS
2006
15 years 3 months ago
2006
In recent years, there has been increasing interest in computational models of biological systems based on various calculi of communicating processes, such as the stochastic pi-ca...