Sciweavers

1629 search results - page 211 / 326
» Web Dynamics
Sort
View
ENTCS
2008
64views more  ENTCS 2008»
15 years 4 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...
KAIS
2006
94views more  KAIS 2006»
15 years 4 months ago
Human-centered ontology engineering: The HCOME methodology
The fast emergent and continuously evolving areas of the Semantic Web and Knowledge Management make the incorporation of ontology engineering tasks in knowledge-empowered organiza...
Konstantinos Kotis, George A. Vouros
COMCOM
2002
98views more  COMCOM 2002»
15 years 4 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»
15 years 4 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
ACL
2010
15 years 2 months ago
Learning 5000 Relational Extractors
Many researchers are trying to use information extraction (IE) to create large-scale knowledge bases from natural language text on the Web. However, the primary approach (supervis...
Raphael Hoffmann, Congle Zhang, Daniel S. Weld