Sciweavers

7340 search results - page 1253 / 1468
» The Behavior of Tutoring Systems
Sort
View
PADL
2001
Springer
15 years 11 months ago
Specifying Authentication Protocols Using Rewriting and Strategies
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
Horatiu Cirstea
UML
2001
Springer
15 years 11 months ago
Formalization of UML-Statecharts
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
Michael von der Beeck
VLDB
2001
ACM
121views Database» more  VLDB 2001»
15 years 11 months ago
Weaving Relations for Cache Performance
Relational database systems have traditionally optimzed for I/O performance and organized records sequentially on disk pages using the N-ary Storage Model (NSM) (a.k.a., slotted p...
Anastassia Ailamaki, David J. DeWitt, Mark D. Hill...
HICSS
2000
IEEE
134views Biometrics» more  HICSS 2000»
15 years 11 months ago
Peer-to-Peer Valuation as a Mechanism for Reinforcing Active Learning in Virtual Communities: Actualizing Social Exchange Theory
As knowledge becomes the primary focus of work in many industries, virtual communities and groups are emerging as part of new organizational forms. Within these virtual forms, eff...
Amrit Tiwana, Ashley A. Bush
ICMCS
2000
IEEE
115views Multimedia» more  ICMCS 2000»
15 years 11 months ago
Adaptive Reservation: A New Framework for Multimedia Adaptation
— Research on multimedia adaptation usually assumes undifferentiated, best-effort service from the network, and relies on signaling mechanisms such as packet loss rates for feedb...
Xin Wang, Henning Schulzrinne
« Prev « First page 1253 / 1468 Last » Next »