296 search results - page 32 / 60 » On the roles of functions and objects in system specificatio... |
AIL
2005
13 years 7 months ago
2005
In this paper we show how dialogue-based theories of argumentation can contribute to the construction of effective systems of dispute resolution. Specifically we consider the role ...
WADT
1999
Springer
14 years 2 days ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
Abstract-- This paper presents a novel approach using combined features to retrieve images containing specific objects, scenes or buildings. The content of an image is characterize...
CORR
1998
Springer
13 years 7 months ago
1998
Springer
This paper presents a method for analyzing the survivability of distributed network systems and an example of its application. Survivability is the capability of a system to fulfi...
GI
2009
Springer
13 years 5 months ago
2009
Springer
: We explore the expressiveness of the BPMN workflow modelling language by applying it to MuCoMS, a paper submission system. This well known application domain is a suitable exampl...