Sciweavers

3383 search results - page 554 / 677
» Dynamic Ontologies on the Web
Sort
View
SPIRE
1999
Springer
14 years 2 months ago
Using AulaNet for Web-based Course Development
: 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...
EON
2008
13 years 11 months ago
Data and Process Mediation Support for B2B Integration
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,...
ENTCS
2008
64views more  ENTCS 2008»
13 years 10 months ago
Service Discovery and Negotiation With COWS
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...
COMCOM
2002
98views more  COMCOM 2002»
13 years 10 months ago
CDN brokering
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...
ENTCS
2008
90views more  ENTCS 2008»
13 years 9 months ago
Formal Verification of Websites
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 ...
Sonia Flores, Salvador Lucas, Alicia Villanueva