Sciweavers

2640 search results - page 322 / 528
» Providing dependability for web services
Sort
View
WWW
2007
ACM
14 years 9 months ago
A management and performance framework for semantic web servers
The unification of Semantic Web query languages under the SPARQL standard and the development of commercial-quality implementations are encouraging industries to use semantic tech...
Malena R. Mesarina, Venugopal Srinivasmurthy, Nic ...
EUROMICRO
2002
IEEE
14 years 1 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...
PLDI
2010
ACM
14 years 5 months ago
Ur: Statically-Typed Metaprogramming with Type-Level Record Computation
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
Adam Chlipala
WWW
2006
ACM
14 years 9 months ago
Semantic WS-agreement partner selection
In a dynamic service oriented environment it is desirable for service consumers and providers to offer and obtain guarantees regarding their capabilities and requirements. WS-Agre...
Nicole Oldham, Kunal Verma, Amit P. Sheth, Farshad...
ICRE
1998
IEEE
14 years 17 days ago
Requirements Definition for Survivable Network Systems
Pervasive societal dependency on large-scale, unbounded network systems, the substantial risks of such dependency, and the growing sophistication of system intruders, have focused...
Richard C. Linger, Nancy R. Mead, Howard F. Lipson