Sciweavers

3022 search results - page 97 / 605
» Make Way for WayMaker
Sort
View
90
Voted
ITS
2004
Springer
121views Multimedia» more  ITS 2004»
15 years 6 months ago
A Plug-in Based Adaptive System: SAAW
The expansion of the World Wide Web and the use of computers in education have increased the demand for Web courses and, consequently, the need for systems that simplify their prod...
Leônidas de Oliveira Brandão, Seiji I...
95
Voted
KELSI
2004
Springer
15 years 6 months ago
Modelling and Prediction of Toxicity of Environmental Pollutants
Abstract. This paper describes the problem of modelling toxicity of environmental pollutants using molecular descriptors from a systems theoretical viewpoint. It is shown that curr...
Frank Lemke, Johann-Adolf Müller, Emilio Benf...
86
Voted
PADL
2004
Springer
15 years 6 months ago
Compositional Model-Views with Generic Graphical User Interfaces
Abstract. Creating GUI programs is hard even for prototyping purposes. Using the model-view paradigm makes it somewhat simpler since the model-view paradigm dictates that the model...
Peter Achten, Marko C. J. D. van Eekelen, Marinus ...
TYPES
2004
Springer
15 years 6 months ago
A Machine-Checked Formalization of the Random Oracle Model
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
Gilles Barthe, Sabrina Tarento
111
Voted
WEBI
2004
Springer
15 years 6 months ago
Eliciting Truthful Feedback for Binary Reputation Mechanisms
Reputation mechanisms offer an efficient way of building the necessary level of trust in electronic markets. Feedback about an agent’s past behavior can be aggregated into a me...
Radu Jurca, Boi Faltings