1817 search results - page 168 / 364 » Extensive Games as Process Models |
142
click to vote
CP
2001
Springer
15 years 8 months ago
2001
Springer
Abstract The tcc model is a formalism for reactive concurrent constraint programming. In this paper we propose a model of temporal concurrent constraint programming which adds to t...
139
click to vote
AMAST
1995
Springer
15 years 7 months ago
1995
Springer
In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We define an observational congruence relation in CCB after basic definitions...
99
Voted
DLOG
1997
15 years 4 months ago
1997
This paper proposes a novel interactive tool designed to support the graphical inspection of large semantic models. The idea is to view the iterative inspection process as a serie...
170
Voted
ICIP
2009
IEEE
15 years 1 months ago
2009
IEEE
Motion information scalability is an important requirement for a fully scalable video codec, especially in low bit rate or small resolution decoding scenarios, for which the fully...
131
click to vote
ACSD
2006
IEEE
15 years 7 months ago
2006
IEEE
Asynchronous circuits have received much attention recently due to their potential for energy savings. Process algebras have been extensively used in the modelling, analysis and sy...