Sciweavers

1779 search results - page 297 / 356
» A Formal Model of Data Privacy
Sort
View
AIED
2007
Springer
15 years 10 months ago
Who Says Three's a Crowd? Using a Cognitive Tutor to Support Peer Tutoring
Adding student collaboration to an intelligent tutoring system could leverage the benefits of both approaches. We have incorporated a mutual peer tutoring script, where students of...
Erin Walker, Bruce M. McLaren, Nikol Rummel, Kenne...
ISPDC
2006
IEEE
15 years 10 months ago
Managing Information and Time Flow in an Agent-Based E-Commerce System
Recently, we have proposed a comprehensive agent-based e-commerce system. While UML formalized, it lacked details how basic functions – e.g. user request to purchase a given pro...
Maciej Gawinecki, Maria Ganzha, Pawel Kobzdej, Mar...
114
Voted
ISPW
2006
IEEE
15 years 10 months ago
Workflows and Cooperative Processes
Workflows emphasize the partial order of activities, and the flow of data between activities. In contrast, cooperative processes emphasize the sharing of artefact, and its gradual ...
Jacky Estublier, Sergio Garcia
NCA
2005
IEEE
15 years 9 months ago
Fundamental Network Processor Performance Bounds
In this paper, fundamental conditions which bound the network processing unit (NPU) worst-case performance are established. In particular, these conditions formalize and integrate...
Hao Che, Chethan Kumar, Basavaraj Menasinahal
112
Voted
APLAS
2004
ACM
15 years 9 months ago
An Algebraic Approach to Bi-directional Updating
In many occasions would one encounter the task of maintaining the consistency of two pieces of structured data that are related by some transform — synchronising bookmarks in diï...
Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi