852 search results - page 73 / 171 » entcs 2010 |
ENTCS
2007
14 years 11 months ago
2007
Abstract. Increasing attention is being paid to the development of socalled behavioural types as a means to formally address the problem of ensuring the correct interoperation of s...
ENTCS
2007
14 years 11 months ago
2007
The aim of the paper is to revisit the model of Biological Regulatory Networks (BRN) which was proposed by René Thomas to model the interactions between a set of genes. We give a...
ENTCS
2007
14 years 11 months ago
2007
Using model-based development has shown to increase efficiency and effectiveness of software production. However, with software as an integral part of products with customized fu...
ENTCS
2007
14 years 11 months ago
2007
When modelling complex interactive systems, traditional interactor-based approaches suffer from lack of expressiveness regarding the composition of the different interactors pre...
ENTCS
2007
14 years 11 months ago
2007
Refactorings are changes made to programs, models or specifications with the intention of improving their structure and thus making them clearer, more readable and re-usable. Ref...