Sciweavers

2860 search results - page 371 / 572
» The Greenfoot Programming Environment
Sort
View
IWIA
2005
IEEE
16 years 5 days ago
Enforcing Messaging Security Policies
A system for enforcing messaging security policies for both store and forward and streaming messaging protocols on COTS operating system platforms is described. Messaging protocol...
Jaromir Likavec, Stephen D. Wolthusen
SC
2005
ACM
16 years 4 days ago
Parallel Programmer Productivity: A Case Study of Novice Parallel Programmers
In developing High-Performance Computing (HPC) software, time to solution is an important metric. This metric is comprised of two main components: the human effort required develo...
Lorin Hochstein, Jeffrey Carver, Forrest Shull, Si...
AIED
2005
Springer
16 years 4 days ago
Authoring plug-in tutor agents by demonstration: Rapid, rapid tutor development
We combined two existing methods for rapid tutor development: “plug-in tutor agents” [6] and an authoring tool suite (CTAT) that supports the creation of tutors “by demonstra...
Vincent Aleven, Carolyn Penstein Rosé
UM
2005
Springer
16 years 2 days ago
Modeling Agents That Exhibit Variable Performance in a Collaborative Setting
In a collaborative environment, knowledge about collaborators’ skills is an important factor when determining which team members should perform a task. However, this knowledge ma...
Ingrid Zukerman, Christian Guttmann
ASM
2003
ASM
15 years 11 months ago
Privacy, Abstract Encryption and Protocols: An ASM Model - Part I
d in Abstract State Machines – Advances in Theory and Applications: 10th International Workshop, ASM 2003, volume 2589 of LNCS, Springer–Verlag. Abstract Encryption and Protoco...
Dean Rosenzweig, Davor Runje, Neva Slani