Abstract This paper explores the suitability of functional languages for programming real-time systems. We study the requirements of real-time systems in general, outline typical l...
— The design and the implementation of software for mobile computers and for pervasive computing environments entail several issues and lead to new requirements. Applications mus...
Davide Carboni, Andrea Piras, Stefano Sanna, Gavin...
This paper discusses nature of action research, and its particular strengths in disciplines such as information systems (IS). However concerns are raised about the quality and rigo...
This paper examines the issue of developing semantics for agent communication languages. In particular, it considers the problem of giving a verifiable semantics for such language...
As software systems become increasingly complex to build developers are turning more and more to integrating pre-built components from third party developers into their systems. T...