Sciweavers

301 search results - page 4 / 61
» Process Modelling to Support Dependability Arguments
Sort
View
ENTCS
2002
129views more  ENTCS 2002»
14 years 11 months ago
Argumentative Agent Deliberation, Roles and Context
This paper presents an argumentation based framework to support an agent's deliberation process for drawing conclusions under a given policy. The argumentative policy of the ...
Antonis C. Kakas, Pavlos Moraitis
SEW
2005
IEEE
15 years 5 months ago
Using Visualization to Understand Dependability: A Tool Support for Requirements Analysis
Dealing with dependability requirements is a complex task for stakeholders and analysts as many different aspects of a system must be taken into account at the same time: services...
Paolo Donzelli, Daniel Hirschbach, Victor R. Basil...
HICSS
2009
IEEE
122views Biometrics» more  HICSS 2009»
15 years 6 months ago
Applying a ThinkLet- and ThinXel-Based Group Process Modeling Language: A Prototype of a Universal Group Support System
Group Support Systems (GSS) can improve the productivity of Group Work by offering a variety of tools to assist a virtual group across geographical distances. Experience shows tha...
Stefan Werner Knoll, Martin Hörning, Graham H...
ARCS
2006
Springer
15 years 3 months ago
Automated Construction of Dependability Models by Aspect-Oriented Modeling and Model Transformation
Abstract. In order to support the dependability analysis of a system under design in an early phase of the design process, so-called fault tolerance libraries can be created that c...
Péter Domokos, István Majzik
SIGMETRICS
2003
ACM
15 years 5 months ago
Queueing systems with long-range dependent input process and subexponential service times
We analyze the asymptotic tail distribution of stationary waiting times and stationary virtual waiting times in a singleserver queue with long-range dependent arrival process and ...
Cathy H. Xia, Zhen Liu