Sciweavers

DAGSTUHL
2007
13 years 9 months ago
Control Patterns in a Health Care Network
In this paper we present control patterns for the analysis and design of administrative control mechanisms in a network organization. A control pattern is a description of a generi...
Vera Kartseva, Joris Hulstijn, Jaap Gordijn, Yao-H...
DAGSTUHL
2007
13 years 9 months ago
BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic
Abstract. In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to describe agents and agent types in Defeasible
Guido Governatori, Antonino Rotolo
DAGSTUHL
2007
13 years 9 months ago
Designing Organizations: Towards a Model
The purpose of this paper is to draw a preliminary model of an ontology of organizations. The emphasis is on the structural aspects of organizations and the relations that these ha...
Emanuele Bottazzi, Roberta Ferrario, Claudio Masol...
DAGSTUHL
2007
13 years 9 months ago
Expressing and Verifying Business Contracts with Abductive Logic Programming
Marco Alberti, Federico Chesani, Marco Gavanelli, ...
DAGSTUHL
2007
13 years 9 months ago
Graph matching with type constraints on nodes and edges
Abstract. In this paper, we consider two particular problems of directed graph matching. The first problem concerns graphs with nodes that have been subdivided into classes of di...
Catherine Fraikin, Paul Van Dooren
DAGSTUHL
2007
13 years 9 months ago
Facility Location
Christian Frank
DAGSTUHL
2007
13 years 9 months ago
Positioning
Daniel Fleischer, Christian Pich
DAGSTUHL
2007
13 years 9 months ago
Time Synchronization
Marcel Busse, Thilo Streichert
DAGSTUHL
2007
13 years 9 months ago
Topology Control
Kevin Buchin, Maike Buchin