444 search results - page 29 / 89 » Sensitive state-space exploration |
106
click to vote
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
101
click to vote
ATVA
2008
Springer
15 years 1 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
NIPS
2008
15 years 1 months ago
2008
Continuous attractor neural networks (CANNs) are emerging as promising models for describing the encoding of continuous stimuli in neural systems. Due to the translational invaria...
JUCS
2006
14 years 11 months ago
2006
Abstract: We present two probabilistic leader election algorithms for anonymous unidirectional rings with FIFO channels, based on an algorithm from Itai and Rodeh [Itai and Rodeh 1...
126
click to vote
CCE
2005
14 years 11 months ago
2005
This paper presents a comprehensive formulation of a linearized state space process model for a generic two-reactant-two-product reactive distillation system. The development of t...