820 search results - page 113 / 164 » Action Languages |
ISPW
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper shows that process definition and analysis technologies can be used to reason about the vulnerability of election processes with respect to incorrect or fraudulent behav...
SOSE
2006
IEEE
14 years 2 months ago
2006
IEEE
In this paper, we introduce a simple but formal service description language (ForSeL) for modelbased requirements engineering. The basic notion in ForSeL is a service representing...
ACSD
2005
IEEE
14 years 1 months ago
2005
IEEE
We consider the distributed implementability problem as: Given a labeled transition system TS together with a distribution ∆ of its actions over a set of processes, does there ex...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents an argumentation-based approach to deliberation, the process by which two or more agents reach a consensus on a course of action. The kind of deliberation we a...
COSIT
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper complements landmark research with an approach to formalize the structural salience of objects along routes. The aim is to automatically integrate salient obje...