3384 search results - page 204 / 677 » More Testable Properties |
ENTCS
2007
13 years 10 months ago
2007
In the domain of software engineering, the use of software components is now a well established approach. However, it raises problems about the dynamic adaptation of these compone...
PPL
2008
13 years 10 months ago
2008
This paper investigates the influence of the interconnection network topology of a parallel system on the delivery time of an ensemble of messages, called the communication scheme...
NN
2006
Springer
13 years 10 months ago
2006
Springer
This paper presents a new development of the NeuroVaria method. NeuroVaria computes relevant atmospheric and oceanic parameters by minimizing the difference between the observed s...
IJAR
2007
13 years 10 months ago
2007
In this article, we consider the computational aspects of deciding whether a conditional independence statement t is implied by a list of conditional independence statements L usi...
ALIFE
2005
13 years 10 months ago
2005
Recent years have seen the discovery of freely diffusing gaseous neurotransmitters, such as nitric oxide (NO), in biological nervous systems. A type of artificial neural network (A...