Web development is rapidly becoming a routine activity for informal as well as professional software developers. One variable that distinguished segments of this population was th...
This paper considers a variety of new technologies for discrete-event simulation software development. Environments and languages for web based simulation are reviewed. Web based ...
One of the main objectives of developing component-based software systems is to enable efficient building of systems through the integration of components. All component models def...
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
Many data sources on the Web evolve in the sense that they change their content over time, typically as a reaction to some event. Such changes often need to be mirrored in data on...