Sciweavers

6014 search results - page 795 / 1203
» Parametric Analysis of Computer Systems
Sort
View
PRDC
1999
IEEE
15 years 11 months ago
An Architecture-Based Software Reliability Model
In this paper we present an analytical model for estimating architecture-based software reliability, according to the reliability of each component, the operational profile, and t...
Wen-Li Wang, Ye Wu, Mei-Hwa Chen
BIRTHDAY
2007
Springer
15 years 10 months ago
Automating Verification of Cooperation, Control, and Design in Traffic Applications
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...
Werner Damm, Alfred Mikschl, Jens Oehlerking, Erns...
DPPI
2007
ACM
15 years 10 months ago
From entry to access: how shareability comes about
Abstract. Shareability is a design principle that refers to how a system, interface, or device engages a group of collocated, co-present users in shared interactions around the sam...
Eva Hornecker, Paul Marshall, Yvonne Rogers
PODC
2010
ACM
15 years 10 months ago
Brief announcement: on the quest of optimal service ordering in decentralized queries
This paper deals with pipelined queries over services. The execution plan of such queries defines an order in which the services are called. We present the theoretical underpinni...
Efthymia Tsamoura, Anastasios Gounaris, Yannis Man...
GROUP
2007
ACM
15 years 10 months ago
Permutations of cooperative work practices: a study of two oncology clinics
Based on a comparative study of cooperative work practices at two oncology clinics, the paper shows that work practices across these otherwise comparable settings vary significant...
Kjeld Schmidt, Ina Wagner, Marianne Tolar