Sciweavers

771 search results - page 36 / 155
» Modelling and Analysing Socio-Technical Systems
Sort
View
IFIP13
2004
15 years 1 days 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»
14 years 10 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
15 years 4 months 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 29 days 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 19 days 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...