9380 search results - page 1412 / 1876 » Collaborative information system design |
176
Voted
DSVIS
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
173
Voted
EUROPAR
2005
Springer
16 years 12 days ago
2005
Springer
Availability and performance can be improved using data replication as the basic technique, thus benefitting the services provided by a distributed system. However, replication im...
172
click to vote
HIPEAC
2005
Springer
16 years 11 days ago
2005
Springer
Detecting and predicting a program’s execution phases are crucial to dynamic optimizations and dynamically adaptable systems. This paper shows that a phase can be associated with...
162
click to vote
SIGCSE
2004
ACM
16 years 8 days ago
2004
ACM
This paper presents an innovative multiagent system to support cooperative learning among students both in the real classrooms and in distance education. The system, called I-MIND...
211
Voted
ICADL
2004
Springer
16 years 7 days ago
2004
Springer
This paper presents our implementation techniques for an intelligent Web image search engine. A reference architecture of the system is provided and addressed in this paper. The s...