1931 search results - page 160 / 387 » Why we blog |
142
click to vote
GI
2004
Springer
15 years 12 months ago
2004
Springer
: In this paper we describe the advantages of a model-based approach to embedded component middleware. Component infrastructures such as Enterprise JavaBeans, Microsoft’s COM+ an...
173
click to vote
ITS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...
199
click to vote
NMR
2004
Springer
15 years 12 months ago
2004
Springer
One of the crucial actions any reasoning system must undertake is the updating of its Knowledge Base (KB). This problem is usually referred to as the problem of belief change. The...
163
click to vote
RE
2004
Springer
15 years 12 months ago
2004
Springer
This paper reports on our experience of eliciting and managing requirements on a large European-based multinational project, whose purpose is to create a system to support learnin...
147
click to vote
SPW
2004
Springer
15 years 12 months ago
2004
Springer
abstract February 6, 2004 Security protocols typically employ an authentication phase followed by a protected data exchange. In some cases, such TLS, these two phases are tightly ...