5451 search results - page 300 / 1091 » Typed Operational Semantics |
118
click to vote
AUTOMATICA
2007
15 years 4 months ago
2007
We discuss notions of detectability for stochastic linear control systems of Itˆo type. A natural concept of detectability requires a non-zero output, if the state process is uns...
126
click to vote
SYNASC
2005
IEEE
15 years 10 months ago
2005
IEEE
— A framework that describes the evolution of P systems with bounded parallelism is defined by introducing basic formal features that can be then integrated into a structural op...
143
click to vote
GPCE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Component-oriented programming yields a tension between higherorder features (deployment, reconfiguration, passivation), encapsulation, and component sharing. We propose...
136
click to vote
PACT
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We use an enhanced operational semantics to infer quantitative measures on systems describing cryptographic protocols. System transitions carry enhanced labels. We assign...
147
click to vote
CODES
2002
IEEE
15 years 9 months ago
2002
IEEE
We introduce a new kernel language for modeling hardware/software systems, adopting multiple heterogenous models of computation. The language has formal operational semantics, and...