615 search results - page 65 / 123 » Completeness of Combinations of Constructor Systems |
PARA
2004
Springer
14 years 1 months ago
2004
Springer
There is an immediate need to develop Grid interfaces for a large set of numerical software libraries, in order to make popular software of today available in the computing infrast...
CONCUR
2003
Springer
14 years 28 days ago
2003
Springer
act Approach to Process Equivalence Bartek Klin Pawel Soboci´nski BRICS University of Aarhus, Denmark Abstract. A framework of Plotkin and Turi’s, originally aimed at providing ...
FPL
2001
Springer
14 years 5 days ago
2001
Springer
Designers of safety-critical VLSI systems are asking for effective tools for evaluating and validating their designs. Fault Injection is commonly adopted for this task, and its eff...
ARTS
1999
Springer
13 years 12 months ago
1999
Springer
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...
VISUALIZATION
1996
IEEE
13 years 12 months ago
1996
IEEE
In researching the communication mechanisms between cells of the immune system, visualization of proteins in three dimensions can be used to determine which proteins are capable o...