Top-down and bottom-up theorem proving approaches have each specific advantages and disadvantages. Bottom-up provers profit from strong redundancy control and suffer from the lack of goal-orientation, whereas top-down provers are goal-oriented but have weak calculi when their proof lengths are considered. In order to integrate both approaches our method is to achieve cooperation between a top-d...

The SHAMAN project targets a framework integrating advances in the data grid, digital library, and persistent archives communities in order to archive a longterm preservation environment. Within the project we identified several challenges for digital preservation in the area of memory institutions, where already existing systems start to struggle with e.g. complex or many small objects. In ord...

It is increasingly important that Service Level Agreements (SLAs) are taken into account when business processes are exposed as services in a Service Oriented Architecture. SLAs define expected service behavior and nonfunctional properties of the service. The fact that the service provider has to offer certain guarantees concerning SLA properties has an impact on the business process lifecycle....

Spatial Data Infrastructures (SDIs) have been developing in some countries for over 10 years but still suffer from having a relatively small installed base. Most SDIs will soon converge around a service-oriented-architecture (SOA) using IT standards promulgated primarily by the Open Geospatial Consortium (OGC) and ISO Technical Committee 211. There are very few examples of these types of archit...

Active object-oriented concepts are especially useful in the area of nonstandard applications in order to express an event-driven and constraint-driven system environment [Chak90, Daya88b, Ahme92]. Several attempts have been made to integrate active concepts into object-oriented databases [Beer91, Daya88a, Diaz91, Gatz91, Geha91, Kim92, Mede91]. Current approaches to active objectoriented datab...

Previous research has shown that when two color-defined target objects appear in rapid succession at different locations, attention is deployed independently and in parallel to both targets. This study investigated whether this rapid simultaneous attentional target selection mechanism can also be employed in tasks where targets are defined by a different visual feature (shape) or when alphanume...

An integrated management of business processes demands a strictly process-oriented development of the supporting IT. Process-orientation is especially promoted by Service-Oriented Architectures (SOA), where loosely coupled business services are being composed to executable processes. In this paper we present a model-driven methodology for a top-down development of a process-oriented IT support ...

Agent-oriented modeling is a top-down approach for modeling and simulating the behaviors of complex systems. This research addresses the application of agent-oriented modeling to eliciting and representing knowledge for social simulations. We provide an overview of agent-oriented modeling and describe a case study on conflict resolution that has an impact on winning “hearts and minds” of the oc...