Sciweavers

4496 search results - page 633 / 900
» DACS Web Service
Sort
View
FM
2003
Springer
169views Formal Methods» more  FM 2003»
15 years 10 months ago
Checking and Reasoning about Semantic Web through Alloy
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
Jin Song Dong, Jing Sun, Hai H. Wang
EUROMICRO
2002
IEEE
15 years 10 months ago
Feasibility Analysis for Web Project Engineering Encoded as Rule-Based Expert System
The initial steps in carrying out a feasibility analysis for a web project, based on information obtained interactively from a prospective client, are modelled as a rulebased expe...
Pablo Gervás, Juan José Escribano Ot...
INFOCOM
2000
IEEE
15 years 9 months ago
A Measurement-Based Admission-Controlled Web Server
Current HTTP servers process requests using a first come first serve queuing policy. What this implies is that the web server must process each request as it arrives. The result is...
Kelvin Li, Sugih Jamin
PERCOM
2010
ACM
15 years 9 months ago
Opportunistic web access via WLAN hotspots
—Mobile phones are becoming commonplace for consuming Internet content and services. However, availability, affordability, and quality of the supposedly ubiquitous cellular netwo...
Mikko Juhani Pitkänen, Teemu Kärkkä...
ESWS
2008
Springer
15 years 7 months ago
xOperator - Interconnecting the Semantic Web and Instant Messaging Networks
Instant Messaging (IM) is in addition to Web and Email the most popular service on the Internet. With xOperator we present a strategy and implementation which deeply integrates Ins...
Sebastian Dietzold, Jörg Unbehauen, Söre...