645 search results - page 19 / 129 » concurrency 2007 |
137
click to vote
DAGSTUHL
2001
15 years 1 months ago
2001
Debugging concurrent Java programs is a difficult task because of multiple control flows and inherent nondeterminism. It requires techniques not provided by traditional debuggers ...
113
Voted
ENTCS
2007
15 years 10 days ago
2007
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information const...
112
Voted
TCC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We show a new protocol for blind signatures in which security is preserved even under arbitrarily-many concurrent executions. The protocol can be based on standard crypto...
107
Voted
AB
2007
Springer
15 years 6 months ago
2007
Springer
We present SpiCO, a new modeling and simulation language for systems biology. SpiCO is based on the stochastic π-calculus. It supports higher level modeling via multi-profile con...
123
click to vote
AIA
2006
15 years 1 months ago
2006
A system based on a neural network framework is considered. We used two neural networks, an Elman network [1][2] and a Kohonen (concurrent) network [3], for a categorization task....