: A software process is defined as a description of various steps that must be carried out by process agents to pursue the goals of software engineering. To support a software proc...
The Compute Power Market (CPM) is a market-based resource management and job scheduling system for grid computing on Internet-wide computational resources, particularly low-end pe...
Culture and emotions have a profound impact on human behavior. Consequently, high-fidelity simulated interactive environments (e.g., trainers and computer games) that involve virt...
Vadim Bulitko, Steve Solomon, Jonathan Gratch, Mic...
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
Roland Bouroulet, Raymond R. Devillers, Hanna Klau...
The ALPS project (Active Learning in Problem Solving) is building and evaluating an educational technology that combines cognitive tutors with a novel interactive questioning envi...
Scott M. Stevens, Albert T. Corbett, Kenneth R. Ko...