: A variety of technologies is being used to replace or supplement the face-to-face learning process, including the World Wide Web. In this paper we present AulaNet, an environment...
Ricardo Choren, Carlos Laufer, Marcelo Blois, Vivi...
Abstract In this paper we present how Semantic Web Service technology can be used to overcome process and data heterogeneity in a B2B integration scenario. While one partner uses s...
Maciej Zaremba, Maximilian Herold, Raluca Zaharia,...
To provide formal foundations to current (web) services technologies, we put forward using COWS, a process calculus for specifying, combining and analysing services, as a uniform ...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
Content distribution networks (CDNs) increase the capacity of individual Web sites and attempt to deliver content from caches that are located "closer" to end-users than...
Alexandros Biliris, Charles D. Cranor, Fred Dougli...
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...