1829 search results - page 134 / 366 » aims 2008 |
186
click to vote
BPM
2008
Springer
15 years 8 months ago
2008
Springer
This paper describes an approach for reasoning about the repairability of workflows at design time. We propose a heuristic-based analysis of a workflow that aims at evaluating its ...
148
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
In today's world with companies operating in a global business environment. Most enterprises, and especially the SMEs, lack the necessary business culture, technical and non-t...
179
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that all...
176
click to vote
CBSE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper we focus on design of a class of distributed embedded systems that primarily perform real-time controlling tasks. We propose a two-layer component model for...
181
click to vote
CCIA
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, a validation and an experimentation of the use of graded BDI agents is reported. This agent model has been proposed to specify agents capable to deal with the enviro...