1021 search results - page 90 / 205 » Concepts in Proof Planning |
IEAAIE
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper presents an agent system ASGARD-0, that provides monitoring for the success or failure of Grid jobs in a High Energy Physics application. This application area...
BPM
2004
Springer
14 years 2 months ago
2004
Springer
Modeling of a business system has traditionally been based on free text documents. This work describes an elaborate experiment that constitutes a proof of concept to the idea that ...
CAISE
2004
Springer
14 years 2 months ago
2004
Springer
This paper describes the implementation of a system supporting YAWL (Yet Another Workflow Language). YAWL is based on a rigorous analysis of existing workflow management systems ...
CBSE
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Long running applications often need to adapt due to changing requirements or changing environment. Typically, such adaptation is performed by dynamically adding or remov...
DALT
2004
Springer
14 years 2 months ago
2004
Springer
Declarative modelling approaches in principle assume a notion of representation or representational content for the modelling concepts. The notion of representational content as di...