10912 search results - page 1882 / 2183 » Object-Oriented Programming Languages |
141
click to vote
IFIP
2004
Springer
16 years 1 days ago
2004
Springer
We provide machine-independent characterizations of some complexity classes, over an arbitrary structure, in the model of computation proposed by L. Blum, M. Shub and S. Smale. We ...
159
click to vote
IFIP
2004
Springer
16 years 1 days ago
2004
Springer
Abstract A Boolean function is called normal if it is constant on flats of certain dimensions. This property is relevant for the construction and analysis of cryptosystems. This p...
165
click to vote
IFIP
2004
Springer
16 years 1 days ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
164
click to vote
IFIP
2004
Springer
16 years 1 days ago
2004
Springer
We introduce an extension of the Parikh mapping called the Parikh ¢ -matrix mapping, which takes its values in matrices with polynomial entries. The morphism constructed represent...
269
click to vote
IFIP
2004
Springer
16 years 1 days ago
2004
Springer
Abstract The Firing Squad Synchronization Problem is one of the classical problems for cellular automata. In this paper we consider the case of more than one general. A synchronous...