284 search results - page 38 / 57 » WSAT: A Tool for Formal Analysis of Web Services |
WEBI
2005
Springer
14 years 1 months ago
2005
Springer
We present a generic natural language processing (NLP) architecture, acronym QTIL, based on a system of cooperating multiple agents (Q/A, T, I, and L agents) which can be used in ...
CHI
2007
ACM
14 years 8 months ago
2007
ACM
In this paper we introduce SocialBrowsing, a Firefox extension that adds social context to the web browsing experience. The extension is paired with services provided by social ne...
CONCURRENCY
2008
13 years 8 months ago
2008
This paper presents a new service-oriented approach to the design and implementation of visualization systems in a Grid computing environment. The approach evolves the traditional...
SKG
2006
IEEE
14 years 2 months ago
2006
IEEE
With the rapid evolution of web technology and Internet, the mathematical web has emerged as a new research trend, which changes the traditional manner of mathematical scientific ...
SIGSOFT
2010
ACM
13 years 6 months ago
2010
ACM
For `mixed-criticality' systems that have both critical and non-critical functions, the greatest leverage on dependability may be at the design level. By designing so that ea...