7124 search results - page 814 / 1425 » Programming Languages and Operating Systems |
166
click to vote
UM
2005
Springer
16 years 20 days ago
2005
Springer
Building a generalizable detector of student behavior within intelligent tutoring systems presents two challenges: transferring between different cohorts of students (who may devel...
141
click to vote
UM
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. Economic modeling provides a formal mechanism to understand user incentives and behavior in online systems. In this paper we describe the process of building a parameteri...
174
click to vote
HPDC
1999
IEEE
15 years 11 months ago
1999
IEEE
RSD (Resource and Service Description) is a software architecture for specifying, registering and accessing resources and services in complex heterogeneous computing environments....
163
click to vote
ICSM
1999
IEEE
15 years 11 months ago
1999
IEEE
The FermaT transformation system, based on research carried out over the last twelve years at Durham University and Software Migrations Ltd., is an industrial-strength formal tran...
239
click to vote
ESAW
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. This paper surveys the state-of-the-art in developing multi-agent systems, and sets out to answer the questions: "what are the key current issues in developing multi...