This paper intends to demonstrate the importance of a Linguistic approach for understanding the complexity implied in the simulations of the Built Environment. Indeed, it will be a...
A number of languages exist that try to model the external visible behavior of services. However, they constitute incomplete solutions, either because, they do not include proper ...
Programs in modern functional logic languages are rewrite systems following the constructor discipline but where confluence and termination are not required, thus defining possi...
A notation for the functional specification of a wide range of neural networks consisting of temporal or non-temporal neurons, is proposed. The notation is primarily a mathematica...
For the last few years a considerable number of efforts have been devoted into integrating security issues into information systems development practices. This has led to a number...