2148 search results - page 23 / 430 » Responsiveness in Process Calculi |
NC
2008
14 years 11 months ago
2008
Visual perception is typically performed in the context of a task or goal. Nonetheless, visual processing has traditionally been conceptualized in terms of a fixed, task-independe...
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
This paper considers the problem of constrained tracking the timevarying room impulse response of a source/microphone pair. The constraint which is used to improve the performance...
87
Voted
SEFM
2009
IEEE
15 years 6 months ago
2009
IEEE
SOCK is a process calculus for the modeling of Service Oriented systems recently extended with primitives for dynamic fault and compensation handling. In this paper we investigate...
ICSOC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. A stochastic extension of COWS is presented. First the formalism is given an operational semantics leading to finitely branching transition systems. Then its syntax and ...
114
click to vote
PACT
2007
Springer
15 years 5 months ago
2007
Springer
We consider BioAmbients, a calculus for specifying biological entities and for simulating and analysing their behaviour. We extend BioAmbients to take quantitative information into...