We report on the development of an agent-based system, called ΦLOG, for the specification and execution of phylogenetic inference applications. We detail the implementation of th...
Yu Pan, Phan Huy Tu, Enrico Pontelli, Tran Cao Son
Abstract. We present the main features of a system designed to support the development and delivery of web applications through concepts for modularity, reuse and rapid prototyping...
Abstract. Future-generation distributed multimedia applications are expected to be highly scalable to a wide variety of heterogeneous devices, and highly adaptive across widearea d...
Many applications refer to moving objects or phenomena and require spatio-temporal modelling and specific analysis. Unlike conventional data where attributes are simple values (nu...
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...