2570 search results - page 45 / 514 » Constructing a web information system development methodolog... |
IPL
2006
14 years 9 months ago
2006
We present a Coq-formalised proof that all non-cooperative, sequential games have a Nash equilibrium point. Our proof methodology follows the style advocated by LCFstyle theorem p...
AOSE
2001
Springer
15 years 2 months ago
2001
Springer
In this paper, we describe the Architecture Description Language (ADL) that we are defining for the design of agentbased systems. This aims at filing the gap between the analysis ...
SAC
2004
ACM
15 years 3 months ago
2004
ACM
Information requirements analysis for data warehouse systems differs significantly from requirements analysis for conventional information systems. Based on interviews with projec...
106
click to vote
WWW
2008
ACM
15 years 10 months ago
2008
ACM
We conduct the first systematical adoption of the Semantic Web solution in the integration, management, and utilization of TCM information and knowledge resources. As the results,...
ICWS
2007
IEEE
14 years 11 months ago
2007
IEEE
In this paper, we present a novel deployment-time binding selection framework for Web services to improve the performance. Using the information about target environments, we dete...