Titlebook: Die Flexibilit?t von Betriebsvereinbarungen zur Arbeitszeit; Bernhard Wild Book 1995 Physica-Verlag Heidelberg 1995 Bewertung.Führen.Inter

archenemy

confide

A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies – Preliminary ReportThis paper reports on a system for automated agent negotiation. The negotiation strategies are expressed in defeasible logic, and are applied using the implemented reasoning system DR-DEVICE. The overall system architecture is described, and a particular 1-1 negotiation scenario is presented in detail.

accrete

Delivering Real-Time Behaviour, requirements to be specified, scheduling analysis that enables a set of concurrent deadlines to be verified and timing analysis that enables sequential code to be inspected to determine its worst case behaviour. These four topics together with a number of other techniques and tool described in the paper allow real-time behaviour to be delivered.