Sciweavers

2780 search results - page 500 / 556
» Agents in Proactive Environments
Sort
View
AICCSA
2001
IEEE
65views Hardware» more  AICCSA 2001»
14 years 2 months ago
Taxonomy of Process Modeling Languages
: 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...
Kamal Zuhairi Zamli, Peter Lee
CCGRID
2001
IEEE
14 years 2 months ago
Compute Power Market: Towards a Market-Oriented Grid
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...
Rajkumar Buyya, Sudharshan Vazhkudai
AIIDE
2008
14 years 19 days ago
Modeling Culturally and Emotionally Affected Behavior
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...
APN
2008
Springer
14 years 10 days ago
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
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...
IADIS
2004
13 years 11 months ago
ALPS: Bringing Active Inquiry into Active Problem Solving
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...