The grand challenge that is the focus of this conference targets the development of a practical methodology for software verification: a methodology that can help us to reduce the ...
: Current learning modelling languages do not allow formalization of scripts where generic tools are required. This limitation is especially relevant on remote courses when using c...
The Earth Observing System (EOS) Data and Information System (EOSDIS) is perhaps one of the most important examples of a large-scale, geographicallydistributed, and data-intensive...
The Web information space is rapidly growing in the size and the diversity of both its data and its audience. A consequence is that Web Information Systems (WIS) in many applicati...
Peter Barna, Flavius Frasincar, Geert-Jan Houben, ...
: New Information Technologies (IT) offer a new way for teaching and learning. Rather than simply duplicate old learning materials and make them correspond to the new IT tools, it ...
Maurice Ndaye Mukuna, Jacques Vancleve, Philippe C...