7209 search results - page 1175 / 1442 » Software Engineering for Multi-Agent Systems |
102
Voted
RISE
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
116
Voted
ASP
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...
99
Voted
CAEPIA
2003
Springer
15 years 5 months ago
2003
Springer
Nowadays there is a great effort underway to improve the World Wide Web. A better content organisation, allowing automatic processing, leading to the Semantic Web is one of the mai...
119
Voted
EUROSYS
2010
ACM
15 years 5 months ago
2010
ACM
We present an approach for adaptive scheduling of soft realtime legacy applications (for which no timing information is exposed to the system). Our strategy is based on the combin...
110
Voted
COBUILD
1998
Springer
15 years 4 months ago
1998
Springer
In the CLear project we develop a cooperative learning system for supporting learning and training processes of co-located and distributed groups. One of the fundamental concepts o...