7661 search results - page 1217 / 1533 » Languages and the Computing Profession |
194
click to vote
BIRTHDAY
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors ...
193
click to vote
CBSE
2005
Springer
16 years 1 months ago
2005
Springer
In existing component models, control originates in components, and connectors are channels for passing on the control to other components. This provides a mechanism for message pa...
206
click to vote
COCOON
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. The original definition of P-systems calls for rules to be applied in a maximally parallel fashion. However, in some cases a sequential model may be a more reasonable as...
204
click to vote
COORDINATION
2005
Springer
16 years 1 months ago
2005
Springer
t Abstract Machine for Safe Ambients Daniel Hirschkoff1 , Damien Pous1 , and Davide Sangiorgi2 1 ENS Lyon, France 2 Universit`a di Bologna, Italy Abstract. We describe an abstract...
185
click to vote
CP
2005
Springer
16 years 1 months ago
2005
Springer
Classical methods for solving numerical CSPs are based on a branch and prune algorithm, a dichotomic enumeration process interleaved with a consistency filtering algorithm. In man...