3514 search results - page 439 / 703 » Software Process Modeling: Principles of Entity Process Mode... |
124
click to vote
ICES
2003
Springer
15 years 8 months ago
2003
Springer
The communication mechanism used by the biological cells of higher animals is an integral part of an organisms ability to tolerate cell deficiency or loss. The massive redundancy ...
146
click to vote
FSTTCS
1998
Springer
15 years 7 months ago
1998
Springer
Molecular Computation (MC) is massively parallel computation where data is stored and processed within objects of molecular size. Biomolecular Computation (BMC) is MC using biotec...
90
Voted
ISN
1995
Springer
15 years 6 months ago
1995
Springer
Metamanagement provides a means to manage the management processes, systems and software comprising a TMN system. In this paper we present the basic requirements of metamanagement,...
132
click to vote
ASM
2008
ASM
15 years 5 months ago
2008
ASM
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...
140
click to vote
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Symmetry reduction is a technique to alleviate state explosion in model checking by replacing a model of replicated processes with a bisimilar quotient model. The size of...