While the management of projects is rapidly gaining importance in the current fast pace economy, there is a growing dissatisfaction with its theoretical underpinnings. Rooted in an exploratory micro-analysis of the practices of 86 project managers, our study demonstrates that project managers engage in 10 core practices, which together imply that managing projects 1) is only partly about planni...

In every negotiation with a deadline, one of the negotiating parties has to accept an offer to avoid a break off. Therefore, it is important for every negotiator to employ a mechanism to decide under which conditions to accept. However, designing a proper acceptance condition is a difficult task: accepting too late may result in the break off of a negotiation, while accepting too early may resu...

We continue the work initiated in [1–3], where the acceptance logic, a modal logic for modelling individual and collective acceptances was introduced. This logic is aimed at capturing the concept of acceptance qua member of an institution as the kind of attitude that agents are committed to when they are “functioning as members of an institution”. Acceptance logic can also be used to model judg...

Hiroki Konno, Tomoe Murakami-Fuse, Fumihiko Fujii, Fumie Koyama, Hanayo Ueoka-Nakanishi, Chan-Gi Pack, Masataka Kinjo and Toru Hisabori* Chemical Resources Laboratory, Tokyo Institute of Technology, Nagatsuta, Midori-ku, Yokohama, Japan, ATP System Project, Exploratory Research for Advanced Technology (ERATO), Japan Science and Technology Corporation (JST), Nagatsuta-cho, Midori-ku, Yokohama, J...

This paper describes the implementation and evaluation of a new system to guide exploratory learning in arbitrary task-based domains. The system employs a knowledge representation borrowed from the field of automated planning to represent both the exploratory environment and the student’s model of the tasks in the environment.

CA Verify® Automated Regression Testing for CICS (CA Verify for CICS) is the automated mainframe testing tool from CA Technologies for IBM CICS Transaction Server for z/OS applications that use 3270type terminals or terminal emulation. Using CA Verify for CICS, you can perform unit, regression, stress, concurrency, migration and system testing and resolve issues that occur as a result of these ...