Sciweavers

771 search results - page 36 / 155
» Modelling and Analysing Socio-Technical Systems
Sort
View
IFIP13
2004
15 years 7 months ago
Designing Distributed Task Performance in Safety-Critical Systems Equipped With Mobile Devices
: This paper describes a method aiming to support the design of interactive-safety critical systems. The method proposes an original integration of approaches usually considered se...
Ana-Maria Marhan, Fabio Paternò, Carmen San...
ENTCS
2006
136views more  ENTCS 2006»
15 years 6 months ago
Automated Game Analysis via Probabilistic Model Checking: a case study
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...
Paolo Ballarini, Michael Fisher, Michael Wooldridg...
IPPS
2006
IEEE
16 years 7 hour ago
Modeling user perceived unavailability due to long response times
In this paper, we introduce a simple analytical modeling approach for computing service unavailability due to long response time, for infinite and finite single-server systems a...
Magnos Martinello, Mohamed Kaâniche, Karama ...
WSC
2008
15 years 8 months ago
Conceptual modelling: Knowledge acquisition and model abstraction
AL MODELLING: KNOWLEDGE ACQUISITION AND MODEL ABSTRACTION Kathy Kotiadis Stewart Robinson Operational Research and Management Sciences Group Warwick Business School University of W...
Kathy Kotiadis, Stewart Robinson
CIBB
2008
15 years 8 months ago
Curating a Large-Scale Regulatory Network by Evaluating Its Consistency with Expression Datasets
Abstract. The analysis of large-scale regulatory models using data issued from genome-scale high-throughput experimental techniques is an actual challenge in the systems biology fi...
Carito Guziolowski, Jeremy Gruel, Ovidiu Radulescu...