We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
: In this paper we describe the advantages of a model-based approach to embedded component middleware. Component infrastructures such as Enterprise JavaBeans, Microsoft’s COM+ an...
This work describes a multi-agent architecture and strategy for trade in simultaneous and related auctions. The proposed SIMPLE Agency combines an integer programming model, machi...
This paper presents early work on the "Jots" system, integrated with the Scratch programming environment, which aims to help learners reflect on their learning processes...
The prominent role of the memory hierarchy as one of the major bottlenecks in achieving good program performance has motivated the search for ways of capturing the memory performa...
Ricardo Portillo, Diana Villa, Patricia J. Teller,...