4350 search results - page 159 / 870 » Case studies for contract-based systems |
136
click to vote
CEEMAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The student modeling (SM) is a core component in the development of Intelligent Learning Environments (ILEs). In this paper we describe how a Multi-agent Intelligent Lear...
161
click to vote
HICSS
2010
IEEE
15 years 11 months ago
2010
IEEE
It seems common sense that “policy matters” in setting up e-government interoperability, mainly because collaboration should be guided by dedicated integration objectives and ...
113
Voted
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
Senior executives in public sector organisations have been charged with delivering an e-Government agenda. A key emerging area of research is that of the evaluation of e-Governmen...
163
Voted
FOCS
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper is concerned with the complexity of proofs and of searching for proofs in two propositional proof systems: Resolution and Polynomial Calculus (PC). For the former syste...
120
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Since the Hong Kong SAR Government promulgated the first Digital 21 IT Strategy in November 1998, multiple major initiatives had been launched to establish the underlying infrastr...